Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046057270> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2046057270 endingPage "226" @default.
- W2046057270 startingPage "206" @default.
- W2046057270 abstract "The π-calculus with synchronous output and mixed-guarded choices is strictly more expressive than the π-calculus with asynchronous output and no choice. As a corollary, Palamidessi recently proved that there is no fully compositional encoding from the former into the latter that preserves divergence-freedom and symmetries. This paper shows 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 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.
- W2046057270 created "2016-06-24" @default.
- W2046057270 creator A5018685791 @default.
- W2046057270 date "1997-01-01" @default.
- W2046057270 modified "2023-09-23" @default.
- W2046057270 title "What is a 'Good' Encoding of Guarded Choice?" @default.
- W2046057270 cites W1523525039 @default.
- W2046057270 cites W1542981786 @default.
- W2046057270 cites W1679756568 @default.
- W2046057270 cites W1780867404 @default.
- W2046057270 cites W1980529102 @default.
- W2046057270 cites W2010649834 @default.
- W2046057270 cites W2055454967 @default.
- W2046057270 cites W2059563369 @default.
- W2046057270 cites W2070908350 @default.
- W2046057270 cites W2073482953 @default.
- W2046057270 cites W2103201802 @default.
- W2046057270 cites W2107438584 @default.
- W2046057270 cites W2109585055 @default.
- W2046057270 cites W2128932399 @default.
- W2046057270 cites W2131848219 @default.
- W2046057270 cites W2153290650 @default.
- W2046057270 cites W2914597273 @default.
- W2046057270 cites W4232027917 @default.
- W2046057270 cites W4254587780 @default.
- W2046057270 doi "https://doi.org/10.1016/s1571-0661(05)80474-8" @default.
- W2046057270 hasPublicationYear "1997" @default.
- W2046057270 type Work @default.
- W2046057270 sameAs 2046057270 @default.
- W2046057270 citedByCount "6" @default.
- W2046057270 countsByYear W20460572702015 @default.
- W2046057270 crossrefType "journal-article" @default.
- W2046057270 hasAuthorship W2046057270A5018685791 @default.
- W2046057270 hasBestOaLocation W20460572701 @default.
- W2046057270 hasConcept C118615104 @default.
- W2046057270 hasConcept C121375916 @default.
- W2046057270 hasConcept C125411270 @default.
- W2046057270 hasConcept C138885662 @default.
- W2046057270 hasConcept C154945302 @default.
- W2046057270 hasConcept C207390915 @default.
- W2046057270 hasConcept C2780012671 @default.
- W2046057270 hasConcept C33923547 @default.
- W2046057270 hasConcept C41008148 @default.
- W2046057270 hasConcept C41895202 @default.
- W2046057270 hasConcept C80444323 @default.
- W2046057270 hasConceptScore W2046057270C118615104 @default.
- W2046057270 hasConceptScore W2046057270C121375916 @default.
- W2046057270 hasConceptScore W2046057270C125411270 @default.
- W2046057270 hasConceptScore W2046057270C138885662 @default.
- W2046057270 hasConceptScore W2046057270C154945302 @default.
- W2046057270 hasConceptScore W2046057270C207390915 @default.
- W2046057270 hasConceptScore W2046057270C2780012671 @default.
- W2046057270 hasConceptScore W2046057270C33923547 @default.
- W2046057270 hasConceptScore W2046057270C41008148 @default.
- W2046057270 hasConceptScore W2046057270C41895202 @default.
- W2046057270 hasConceptScore W2046057270C80444323 @default.
- W2046057270 hasLocation W20460572701 @default.
- W2046057270 hasOpenAccess W2046057270 @default.
- W2046057270 hasPrimaryLocation W20460572701 @default.
- W2046057270 hasRelatedWork W1971949385 @default.
- W2046057270 hasRelatedWork W2007252621 @default.
- W2046057270 hasRelatedWork W2029133311 @default.
- W2046057270 hasRelatedWork W2046057270 @default.
- W2046057270 hasRelatedWork W2119541381 @default.
- W2046057270 hasRelatedWork W2248088940 @default.
- W2046057270 hasRelatedWork W2324583849 @default.
- W2046057270 hasRelatedWork W2354500408 @default.
- W2046057270 hasRelatedWork W2389073067 @default.
- W2046057270 hasRelatedWork W4212908877 @default.
- W2046057270 hasVolume "7" @default.
- W2046057270 isParatext "false" @default.
- W2046057270 isRetracted "false" @default.
- W2046057270 magId "2046057270" @default.
- W2046057270 workType "article" @default.