Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072817265> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2072817265 endingPage "41" @default.
- W2072817265 startingPage "13" @default.
- W2072817265 abstract "The π-calculus and its variants are one of the most important subjects in the field of process algebra. Researchers in the coalgebra community have taken account of that by developing a family of related final coalgebra models for the π-calculus. None of these models has, however, been given with interpretations of the π-calculus constructors as operations on semantic domains. The present paper introduces such interpretations over final coalgebra models for the π-calculus. These models do not exactly belong to the realm of the already existing work. Rather, we emphasise the distinction between a a ground model and a full model: The ground model is fully abstract with respect to a form of π-calculus ground bisimulation; the full model is built on top of the ground model and is fully abstract with respect to the congruence derived from that ground bisimulation. Also, every semantic object is a 3-tuple with a direct representation of its transformation under renamings. A straightforward adaption of Rutten and Turi's mixed terms technique then yields compositional interpretations of most constructors of the π-calculus on the ground level. These interpretations can be lifted to the full level, again yielding compositionality. Because input prefixing does not preserve ground bisimilarity, this π-calculus constructor cannot be interpreted compositionally strictly on the ground level. It is therefore given an independent interpretation over the full model." @default.
- W2072817265 created "2016-06-24" @default.
- W2072817265 creator A5042566055 @default.
- W2072817265 date "2000-01-01" @default.
- W2072817265 modified "2023-09-24" @default.
- W2072817265 title "Compositional Constructor Interpretation over Coalgebraic Models for the π—Calculus" @default.
- W2072817265 cites W1974482096 @default.
- W2072817265 cites W1978375202 @default.
- W2072817265 cites W2108652205 @default.
- W2072817265 cites W2140920629 @default.
- W2072817265 cites W2170626879 @default.
- W2072817265 doi "https://doi.org/10.1016/s1571-0661(05)80342-1" @default.
- W2072817265 hasPublicationYear "2000" @default.
- W2072817265 type Work @default.
- W2072817265 sameAs 2072817265 @default.
- W2072817265 citedByCount "6" @default.
- W2072817265 countsByYear W20728172652013 @default.
- W2072817265 crossrefType "journal-article" @default.
- W2072817265 hasAuthorship W2072817265A5042566055 @default.
- W2072817265 hasBestOaLocation W20728172651 @default.
- W2072817265 hasConcept C121375916 @default.
- W2072817265 hasConcept C135315306 @default.
- W2072817265 hasConcept C136119220 @default.
- W2072817265 hasConcept C154945302 @default.
- W2072817265 hasConcept C156772000 @default.
- W2072817265 hasConcept C161771561 @default.
- W2072817265 hasConcept C199343813 @default.
- W2072817265 hasConcept C199360897 @default.
- W2072817265 hasConcept C202444582 @default.
- W2072817265 hasConcept C2777686260 @default.
- W2072817265 hasConcept C2778249326 @default.
- W2072817265 hasConcept C33923547 @default.
- W2072817265 hasConcept C41008148 @default.
- W2072817265 hasConcept C527412718 @default.
- W2072817265 hasConcept C71924100 @default.
- W2072817265 hasConcept C80444323 @default.
- W2072817265 hasConceptScore W2072817265C121375916 @default.
- W2072817265 hasConceptScore W2072817265C135315306 @default.
- W2072817265 hasConceptScore W2072817265C136119220 @default.
- W2072817265 hasConceptScore W2072817265C154945302 @default.
- W2072817265 hasConceptScore W2072817265C156772000 @default.
- W2072817265 hasConceptScore W2072817265C161771561 @default.
- W2072817265 hasConceptScore W2072817265C199343813 @default.
- W2072817265 hasConceptScore W2072817265C199360897 @default.
- W2072817265 hasConceptScore W2072817265C202444582 @default.
- W2072817265 hasConceptScore W2072817265C2777686260 @default.
- W2072817265 hasConceptScore W2072817265C2778249326 @default.
- W2072817265 hasConceptScore W2072817265C33923547 @default.
- W2072817265 hasConceptScore W2072817265C41008148 @default.
- W2072817265 hasConceptScore W2072817265C527412718 @default.
- W2072817265 hasConceptScore W2072817265C71924100 @default.
- W2072817265 hasConceptScore W2072817265C80444323 @default.
- W2072817265 hasLocation W20728172651 @default.
- W2072817265 hasOpenAccess W2072817265 @default.
- W2072817265 hasPrimaryLocation W20728172651 @default.
- W2072817265 hasRelatedWork W1552902269 @default.
- W2072817265 hasRelatedWork W1561927156 @default.
- W2072817265 hasRelatedWork W1771902143 @default.
- W2072817265 hasRelatedWork W1989540314 @default.
- W2072817265 hasRelatedWork W2013672985 @default.
- W2072817265 hasRelatedWork W2021026222 @default.
- W2072817265 hasRelatedWork W2033241085 @default.
- W2072817265 hasRelatedWork W2035063966 @default.
- W2072817265 hasRelatedWork W2042633675 @default.
- W2072817265 hasRelatedWork W2055350841 @default.
- W2072817265 hasRelatedWork W2088189323 @default.
- W2072817265 hasRelatedWork W2094394990 @default.
- W2072817265 hasRelatedWork W2119300020 @default.
- W2072817265 hasRelatedWork W2164625502 @default.
- W2072817265 hasRelatedWork W2262332340 @default.
- W2072817265 hasRelatedWork W2578634188 @default.
- W2072817265 hasRelatedWork W2791668009 @default.
- W2072817265 hasRelatedWork W583622944 @default.
- W2072817265 hasRelatedWork W58568020 @default.
- W2072817265 hasRelatedWork W2576628281 @default.
- W2072817265 hasVolume "33" @default.
- W2072817265 isParatext "false" @default.
- W2072817265 isRetracted "false" @default.
- W2072817265 magId "2072817265" @default.
- W2072817265 workType "article" @default.