Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029133311> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2029133311 endingPage "319" @default.
- W2029133311 startingPage "287" @default.
- W2029133311 abstract "The π-calculus with synchronous output and mixed-guarded choices is strictly more expressive than the π-calculus with asynchronous output and no choice. This result was recently proved by C. Palamidessi and, as a corollary, she showed that there is no fully compositional encoding from the former into the latter that preserves divergence-freedom and symmetries. This paper argues that there are nevertheless “good” encodings between these calculi. In detail, we present a series of encodings for languages with (1) input-guarded choice, (2) both input- and output-guarded choice, and (3) mixed-guarded choice, and investigate them with respect to compositionality and divergence-freedom. The first and second encoding satisfy all of the above criteria, but various “good” candidates for the third encoding—inspired by an existing distributed implementation—invalidate one or the other criterion. While essentially confirming Palamidessi's result, our study suggests that the combination of strong compositionality and divergence-freedom is too strong for more practical purposes." @default.
- W2029133311 created "2016-06-24" @default.
- W2029133311 creator A5018685791 @default.
- W2029133311 date "2000-01-01" @default.
- W2029133311 modified "2023-10-11" @default.
- W2029133311 title "What is a “Good” Encoding of Guarded Choice?" @default.
- W2029133311 cites W1487583155 @default.
- W2029133311 cites W1980529102 @default.
- W2029133311 cites W2010649834 @default.
- W2029133311 cites W2015414411 @default.
- W2029133311 cites W2022360370 @default.
- W2029133311 cites W2059563369 @default.
- W2029133311 cites W2073482953 @default.
- W2029133311 cites W2128932399 @default.
- W2029133311 cites W2148025199 @default.
- W2029133311 cites W2153290650 @default.
- W2029133311 doi "https://doi.org/10.1006/inco.1999.2822" @default.
- W2029133311 hasPublicationYear "2000" @default.
- W2029133311 type Work @default.
- W2029133311 sameAs 2029133311 @default.
- W2029133311 citedByCount "96" @default.
- W2029133311 countsByYear W20291333112012 @default.
- W2029133311 countsByYear W20291333112013 @default.
- W2029133311 countsByYear W20291333112014 @default.
- W2029133311 countsByYear W20291333112015 @default.
- W2029133311 countsByYear W20291333112016 @default.
- W2029133311 countsByYear W20291333112018 @default.
- W2029133311 countsByYear W20291333112019 @default.
- W2029133311 countsByYear W20291333112020 @default.
- W2029133311 countsByYear W20291333112022 @default.
- W2029133311 crossrefType "journal-article" @default.
- W2029133311 hasAuthorship W2029133311A5018685791 @default.
- W2029133311 hasBestOaLocation W20291333111 @default.
- W2029133311 hasConcept C118615104 @default.
- W2029133311 hasConcept C121375916 @default.
- W2029133311 hasConcept C125411270 @default.
- W2029133311 hasConcept C138885662 @default.
- W2029133311 hasConcept C154945302 @default.
- W2029133311 hasConcept C207390915 @default.
- W2029133311 hasConcept C2780012671 @default.
- W2029133311 hasConcept C33923547 @default.
- W2029133311 hasConcept C41008148 @default.
- W2029133311 hasConcept C41895202 @default.
- W2029133311 hasConcept C80444323 @default.
- W2029133311 hasConceptScore W2029133311C118615104 @default.
- W2029133311 hasConceptScore W2029133311C121375916 @default.
- W2029133311 hasConceptScore W2029133311C125411270 @default.
- W2029133311 hasConceptScore W2029133311C138885662 @default.
- W2029133311 hasConceptScore W2029133311C154945302 @default.
- W2029133311 hasConceptScore W2029133311C207390915 @default.
- W2029133311 hasConceptScore W2029133311C2780012671 @default.
- W2029133311 hasConceptScore W2029133311C33923547 @default.
- W2029133311 hasConceptScore W2029133311C41008148 @default.
- W2029133311 hasConceptScore W2029133311C41895202 @default.
- W2029133311 hasConceptScore W2029133311C80444323 @default.
- W2029133311 hasIssue "1-2" @default.
- W2029133311 hasLocation W20291333111 @default.
- W2029133311 hasOpenAccess W2029133311 @default.
- W2029133311 hasPrimaryLocation W20291333111 @default.
- W2029133311 hasRelatedWork W1526190050 @default.
- W2029133311 hasRelatedWork W1968158126 @default.
- W2029133311 hasRelatedWork W2010490241 @default.
- W2029133311 hasRelatedWork W2354500408 @default.
- W2029133311 hasRelatedWork W2376029318 @default.
- W2029133311 hasRelatedWork W2388301251 @default.
- W2029133311 hasRelatedWork W2477397717 @default.
- W2029133311 hasRelatedWork W3095531775 @default.
- W2029133311 hasRelatedWork W4251923961 @default.
- W2029133311 hasRelatedWork W2500457737 @default.
- W2029133311 hasVolume "156" @default.
- W2029133311 isParatext "false" @default.
- W2029133311 isRetracted "false" @default.
- W2029133311 magId "2029133311" @default.
- W2029133311 workType "article" @default.