Matches in SemOpenAlex for { <https://semopenalex.org/work/W101068848> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W101068848 endingPage "16" @default.
- W101068848 startingPage "1" @default.
- W101068848 abstract "We present an encoding of (bound) CSP processes with replication into Petri nets with labelled transitions. Through the encoding, the firing semantics of Petri nets models the standard operational semantics of CSP processes, which is both preserved and reflected. This correspondence allows for describing by net semantics the standard CSP observational equivalences. Since the encoding is modular with respect to process syntax, the paper puts on a firm ground the technology transfer between the two formalisms, e.g. recasting into the CSP framework well-established results like decidability of coverability for nets. This work complements previous results concerning the encoding of asynchronous interactions, thus witnessing the expressiveness of (open) labelled nets in modelling process calculi with alternative communication patterns." @default.
- W101068848 created "2016-06-24" @default.
- W101068848 creator A5031056947 @default.
- W101068848 creator A5072444101 @default.
- W101068848 creator A5078963067 @default.
- W101068848 creator A5004609161 @default.
- W101068848 date "2014-01-01" @default.
- W101068848 modified "2023-10-17" @default.
- W101068848 title "Encoding Synchronous Interactions Using Labelled Petri Nets" @default.
- W101068848 cites W108755144 @default.
- W101068848 cites W1487390603 @default.
- W101068848 cites W1495918697 @default.
- W101068848 cites W1496993747 @default.
- W101068848 cites W1517193498 @default.
- W101068848 cites W1528214111 @default.
- W101068848 cites W1531403286 @default.
- W101068848 cites W1585042602 @default.
- W101068848 cites W1604240241 @default.
- W101068848 cites W2016355163 @default.
- W101068848 cites W2031373909 @default.
- W101068848 cites W2106557750 @default.
- W101068848 cites W2123152050 @default.
- W101068848 cites W2126571099 @default.
- W101068848 cites W2503470518 @default.
- W101068848 doi "https://doi.org/10.1007/978-3-662-43376-8_1" @default.
- W101068848 hasPublicationYear "2014" @default.
- W101068848 type Work @default.
- W101068848 sameAs 101068848 @default.
- W101068848 citedByCount "3" @default.
- W101068848 countsByYear W1010688482015 @default.
- W101068848 countsByYear W1010688482021 @default.
- W101068848 crossrefType "book-chapter" @default.
- W101068848 hasAuthorship W101068848A5004609161 @default.
- W101068848 hasAuthorship W101068848A5031056947 @default.
- W101068848 hasAuthorship W101068848A5072444101 @default.
- W101068848 hasAuthorship W101068848A5078963067 @default.
- W101068848 hasBestOaLocation W1010688481 @default.
- W101068848 hasConcept C101468663 @default.
- W101068848 hasConcept C114408938 @default.
- W101068848 hasConcept C125411270 @default.
- W101068848 hasConcept C136155141 @default.
- W101068848 hasConcept C151319957 @default.
- W101068848 hasConcept C153269930 @default.
- W101068848 hasConcept C154945302 @default.
- W101068848 hasConcept C156325763 @default.
- W101068848 hasConcept C171018156 @default.
- W101068848 hasConcept C184337299 @default.
- W101068848 hasConcept C199360897 @default.
- W101068848 hasConcept C2524010 @default.
- W101068848 hasConcept C31258907 @default.
- W101068848 hasConcept C33923547 @default.
- W101068848 hasConcept C38677869 @default.
- W101068848 hasConcept C41008148 @default.
- W101068848 hasConcept C60048249 @default.
- W101068848 hasConcept C80444323 @default.
- W101068848 hasConceptScore W101068848C101468663 @default.
- W101068848 hasConceptScore W101068848C114408938 @default.
- W101068848 hasConceptScore W101068848C125411270 @default.
- W101068848 hasConceptScore W101068848C136155141 @default.
- W101068848 hasConceptScore W101068848C151319957 @default.
- W101068848 hasConceptScore W101068848C153269930 @default.
- W101068848 hasConceptScore W101068848C154945302 @default.
- W101068848 hasConceptScore W101068848C156325763 @default.
- W101068848 hasConceptScore W101068848C171018156 @default.
- W101068848 hasConceptScore W101068848C184337299 @default.
- W101068848 hasConceptScore W101068848C199360897 @default.
- W101068848 hasConceptScore W101068848C2524010 @default.
- W101068848 hasConceptScore W101068848C31258907 @default.
- W101068848 hasConceptScore W101068848C33923547 @default.
- W101068848 hasConceptScore W101068848C38677869 @default.
- W101068848 hasConceptScore W101068848C41008148 @default.
- W101068848 hasConceptScore W101068848C60048249 @default.
- W101068848 hasConceptScore W101068848C80444323 @default.
- W101068848 hasLocation W1010688481 @default.
- W101068848 hasLocation W1010688482 @default.
- W101068848 hasLocation W1010688483 @default.
- W101068848 hasLocation W1010688484 @default.
- W101068848 hasLocation W1010688485 @default.
- W101068848 hasOpenAccess W101068848 @default.
- W101068848 hasPrimaryLocation W1010688481 @default.
- W101068848 hasRelatedWork W1585688349 @default.
- W101068848 hasRelatedWork W1851346840 @default.
- W101068848 hasRelatedWork W1977678422 @default.
- W101068848 hasRelatedWork W2018707057 @default.
- W101068848 hasRelatedWork W2139628421 @default.
- W101068848 hasRelatedWork W2374990887 @default.
- W101068848 hasRelatedWork W2552665874 @default.
- W101068848 hasRelatedWork W3185974462 @default.
- W101068848 hasRelatedWork W1923254076 @default.
- W101068848 hasRelatedWork W2338297146 @default.
- W101068848 isParatext "false" @default.
- W101068848 isRetracted "false" @default.
- W101068848 magId "101068848" @default.
- W101068848 workType "book-chapter" @default.