FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3158344548> ?p ?o ?g. }

• W3158344548 abstract "Message Sequence Charts & Sequence Diagrams are graphical models that represent the behavior of distributed and concurrent systems via the scheduling of discrete and local emission and reception events. We propose an Interaction Language (IL) to formalize such models, defined as a term algebra which includes strict and weak sequencing, alternative and parallel composition and four kinds of loops. This IL is equipped with a denotational-style semantics associating a set of traces (sequences of observed events) to each interaction. We then define a structural operational semantics in the style of process algebras and formally prove the equivalence of both semantics." @default.
• W3158344548 created "2021-05-10" @default.
• W3158344548 creator A5000955558 @default.
• W3158344548 creator A5004536831 @default.
• W3158344548 creator A5028497873 @default.
• W3158344548 date "2021-05-01" @default.
• W3158344548 modified "2023-09-27" @default.
• W3158344548 title "A structural operational semantics for interactions with a look at loops." @default.
• W3158344548 cites W1518166846 @default.
• W3158344548 cites W1607941371 @default.
• W3158344548 cites W1886894358 @default.
• W3158344548 cites W1980702991 @default.
• W3158344548 cites W1994814240 @default.
• W3158344548 cites W2021042308 @default.
• W3158344548 cites W2036364764 @default.
• W3158344548 cites W2045594629 @default.
• W3158344548 cites W2118229393 @default.
• W3158344548 cites W2142893223 @default.
• W3158344548 cites W2152627457 @default.
• W3158344548 cites W2168914087 @default.
• W3158344548 cites W2773262262 @default.
• W3158344548 cites W2963452129 @default.
• W3158344548 cites W3012172783 @default.
• W3158344548 cites W3159654876 @default.
• W3158344548 hasPublicationYear "2021" @default.
• W3158344548 type Work @default.
• W3158344548 sameAs 3158344548 @default.
• W3158344548 citedByCount "0" @default.
• W3158344548 crossrefType "posted-content" @default.
• W3158344548 hasAuthorship W3158344548A5000955558 @default.
• W3158344548 hasAuthorship W3158344548A5004536831 @default.
• W3158344548 hasAuthorship W3158344548A5028497873 @default.
• W3158344548 hasConcept C118615104 @default.
• W3158344548 hasConcept C126255220 @default.
• W3158344548 hasConcept C145644426 @default.
• W3158344548 hasConcept C146499914 @default.
• W3158344548 hasConcept C150607116 @default.
• W3158344548 hasConcept C153185123 @default.
• W3158344548 hasConcept C156325763 @default.
• W3158344548 hasConcept C161771561 @default.
• W3158344548 hasConcept C177264268 @default.
• W3158344548 hasConcept C184337299 @default.
• W3158344548 hasConcept C199360897 @default.
• W3158344548 hasConcept C206729178 @default.
• W3158344548 hasConcept C207648694 @default.
• W3158344548 hasConcept C2777904410 @default.
• W3158344548 hasConcept C2778112365 @default.
• W3158344548 hasConcept C2780069185 @default.
• W3158344548 hasConcept C33923547 @default.
• W3158344548 hasConcept C41008148 @default.
• W3158344548 hasConcept C54355233 @default.
• W3158344548 hasConcept C80444323 @default.
• W3158344548 hasConcept C86803240 @default.
• W3158344548 hasConceptScore W3158344548C118615104 @default.
• W3158344548 hasConceptScore W3158344548C126255220 @default.
• W3158344548 hasConceptScore W3158344548C145644426 @default.
• W3158344548 hasConceptScore W3158344548C146499914 @default.
• W3158344548 hasConceptScore W3158344548C150607116 @default.
• W3158344548 hasConceptScore W3158344548C153185123 @default.
• W3158344548 hasConceptScore W3158344548C156325763 @default.
• W3158344548 hasConceptScore W3158344548C161771561 @default.
• W3158344548 hasConceptScore W3158344548C177264268 @default.
• W3158344548 hasConceptScore W3158344548C184337299 @default.
• W3158344548 hasConceptScore W3158344548C199360897 @default.
• W3158344548 hasConceptScore W3158344548C206729178 @default.
• W3158344548 hasConceptScore W3158344548C207648694 @default.
• W3158344548 hasConceptScore W3158344548C2777904410 @default.
• W3158344548 hasConceptScore W3158344548C2778112365 @default.
• W3158344548 hasConceptScore W3158344548C2780069185 @default.
• W3158344548 hasConceptScore W3158344548C33923547 @default.
• W3158344548 hasConceptScore W3158344548C41008148 @default.
• W3158344548 hasConceptScore W3158344548C54355233 @default.
• W3158344548 hasConceptScore W3158344548C80444323 @default.
• W3158344548 hasConceptScore W3158344548C86803240 @default.
• W3158344548 hasLocation W31583445481 @default.
• W3158344548 hasOpenAccess W3158344548 @default.
• W3158344548 hasPrimaryLocation W31583445481 @default.
• W3158344548 hasRelatedWork W1523024696 @default.
• W3158344548 hasRelatedWork W1551132038 @default.
• W3158344548 hasRelatedWork W1566439171 @default.
• W3158344548 hasRelatedWork W1578957942 @default.
• W3158344548 hasRelatedWork W1587951642 @default.
• W3158344548 hasRelatedWork W1608135341 @default.
• W3158344548 hasRelatedWork W183362822 @default.
• W3158344548 hasRelatedWork W1972397223 @default.
• W3158344548 hasRelatedWork W2038078821 @default.
• W3158344548 hasRelatedWork W2040598439 @default.
• W3158344548 hasRelatedWork W2138108302 @default.
• W3158344548 hasRelatedWork W2144940322 @default.
• W3158344548 hasRelatedWork W2162418869 @default.
• W3158344548 hasRelatedWork W2165337084 @default.
• W3158344548 hasRelatedWork W2487994048 @default.
• W3158344548 hasRelatedWork W2907369309 @default.
• W3158344548 hasRelatedWork W2970973451 @default.
• W3158344548 hasRelatedWork W3004745453 @default.
• W3158344548 hasRelatedWork W3165522655 @default.
• W3158344548 hasRelatedWork W3202186517 @default.
• W3158344548 isParatext "false" @default.
• W3158344548 isRetracted "false" @default.
• W3158344548 magId "3158344548" @default.

• next