Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141843505> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2141843505 endingPage "480" @default.
- W2141843505 startingPage "478" @default.
- W2141843505 abstract "The operational behavior of interactive systems is usually given in terms of transition systems labeled with actions, which, when visible, represent both observations and interactions with the external world. The abstract semantics is given in terms of behavioral equivalences, which depend on the action labels and on the amount of branching structure considered. Behavioural equivalences are often congruences with respect to the operations of the language, and this property expresses the compositionality of the abstract semantics." @default.
- W2141843505 created "2016-06-24" @default.
- W2141843505 creator A5004609161 @default.
- W2141843505 date "2008-09-17" @default.
- W2141843505 modified "2023-10-09" @default.
- W2141843505 title "Abstract Semantics by Observable Contexts" @default.
- W2141843505 cites W1495299640 @default.
- W2141843505 cites W1500576982 @default.
- W2141843505 cites W1573313194 @default.
- W2141843505 cites W1576961733 @default.
- W2141843505 cites W1591694044 @default.
- W2141843505 cites W1605829531 @default.
- W2141843505 cites W1841342726 @default.
- W2141843505 cites W2027689693 @default.
- W2141843505 cites W2055378322 @default.
- W2141843505 cites W2131994575 @default.
- W2141843505 cites W2139706745 @default.
- W2141843505 cites W2144682526 @default.
- W2141843505 cites W2914597273 @default.
- W2141843505 cites W3029749730 @default.
- W2141843505 cites W4232027917 @default.
- W2141843505 doi "https://doi.org/10.1007/978-3-540-87405-8_38" @default.
- W2141843505 hasPublicationYear "2008" @default.
- W2141843505 type Work @default.
- W2141843505 sameAs 2141843505 @default.
- W2141843505 citedByCount "3" @default.
- W2141843505 countsByYear W21418435052020 @default.
- W2141843505 crossrefType "book-chapter" @default.
- W2141843505 hasAuthorship W2141843505A5004609161 @default.
- W2141843505 hasBestOaLocation W21418435052 @default.
- W2141843505 hasConcept C111472728 @default.
- W2141843505 hasConcept C118615104 @default.
- W2141843505 hasConcept C121332964 @default.
- W2141843505 hasConcept C121375916 @default.
- W2141843505 hasConcept C138885662 @default.
- W2141843505 hasConcept C146499914 @default.
- W2141843505 hasConcept C150607116 @default.
- W2141843505 hasConcept C154945302 @default.
- W2141843505 hasConcept C156325763 @default.
- W2141843505 hasConcept C159985019 @default.
- W2141843505 hasConcept C184337299 @default.
- W2141843505 hasConcept C189950617 @default.
- W2141843505 hasConcept C192562407 @default.
- W2141843505 hasConcept C199360897 @default.
- W2141843505 hasConcept C200065993 @default.
- W2141843505 hasConcept C204321447 @default.
- W2141843505 hasConcept C206175624 @default.
- W2141843505 hasConcept C207648694 @default.
- W2141843505 hasConcept C32848918 @default.
- W2141843505 hasConcept C33923547 @default.
- W2141843505 hasConcept C41008148 @default.
- W2141843505 hasConcept C62520636 @default.
- W2141843505 hasConcept C80444323 @default.
- W2141843505 hasConcept C9973445 @default.
- W2141843505 hasConceptScore W2141843505C111472728 @default.
- W2141843505 hasConceptScore W2141843505C118615104 @default.
- W2141843505 hasConceptScore W2141843505C121332964 @default.
- W2141843505 hasConceptScore W2141843505C121375916 @default.
- W2141843505 hasConceptScore W2141843505C138885662 @default.
- W2141843505 hasConceptScore W2141843505C146499914 @default.
- W2141843505 hasConceptScore W2141843505C150607116 @default.
- W2141843505 hasConceptScore W2141843505C154945302 @default.
- W2141843505 hasConceptScore W2141843505C156325763 @default.
- W2141843505 hasConceptScore W2141843505C159985019 @default.
- W2141843505 hasConceptScore W2141843505C184337299 @default.
- W2141843505 hasConceptScore W2141843505C189950617 @default.
- W2141843505 hasConceptScore W2141843505C192562407 @default.
- W2141843505 hasConceptScore W2141843505C199360897 @default.
- W2141843505 hasConceptScore W2141843505C200065993 @default.
- W2141843505 hasConceptScore W2141843505C204321447 @default.
- W2141843505 hasConceptScore W2141843505C206175624 @default.
- W2141843505 hasConceptScore W2141843505C207648694 @default.
- W2141843505 hasConceptScore W2141843505C32848918 @default.
- W2141843505 hasConceptScore W2141843505C33923547 @default.
- W2141843505 hasConceptScore W2141843505C41008148 @default.
- W2141843505 hasConceptScore W2141843505C62520636 @default.
- W2141843505 hasConceptScore W2141843505C80444323 @default.
- W2141843505 hasConceptScore W2141843505C9973445 @default.
- W2141843505 hasLocation W21418435051 @default.
- W2141843505 hasLocation W21418435052 @default.
- W2141843505 hasOpenAccess W2141843505 @default.
- W2141843505 hasPrimaryLocation W21418435051 @default.
- W2141843505 hasRelatedWork W1426476981 @default.
- W2141843505 hasRelatedWork W1487472891 @default.
- W2141843505 hasRelatedWork W1530733469 @default.
- W2141843505 hasRelatedWork W1975908952 @default.
- W2141843505 hasRelatedWork W2073736684 @default.
- W2141843505 hasRelatedWork W2089938479 @default.
- W2141843505 hasRelatedWork W2348616540 @default.
- W2141843505 hasRelatedWork W3007870257 @default.
- W2141843505 hasRelatedWork W3106373601 @default.
- W2141843505 hasRelatedWork W4285217401 @default.
- W2141843505 isParatext "false" @default.
- W2141843505 isRetracted "false" @default.
- W2141843505 magId "2141843505" @default.
- W2141843505 workType "book-chapter" @default.