Matches in SemOpenAlex for { <https://semopenalex.org/work/W2248088940> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2248088940 abstract "The pi-calculus with synchronous output and mixed-guarded choices is strictly more expressive than the pi-calculus with asynchronous output and no choice. This result was recently proved by 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.<br /> 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.
- W2248088940 created "2016-06-24" @default.
- W2248088940 creator A5018685791 @default.
- W2248088940 date "1999-12-13" @default.
- W2248088940 modified "2023-09-23" @default.
- W2248088940 title "What is a ‘Good’ Encoding of Guarded Choice?" @default.
- W2248088940 doi "https://doi.org/10.7146/brics.v6i43.20113" @default.
- W2248088940 hasPublicationYear "1999" @default.
- W2248088940 type Work @default.
- W2248088940 sameAs 2248088940 @default.
- W2248088940 citedByCount "0" @default.
- W2248088940 crossrefType "journal-article" @default.
- W2248088940 hasAuthorship W2248088940A5018685791 @default.
- W2248088940 hasBestOaLocation W22480889401 @default.
- W2248088940 hasConcept C118615104 @default.
- W2248088940 hasConcept C121375916 @default.
- W2248088940 hasConcept C125411270 @default.
- W2248088940 hasConcept C138885662 @default.
- W2248088940 hasConcept C151319957 @default.
- W2248088940 hasConcept C154945302 @default.
- W2248088940 hasConcept C207390915 @default.
- W2248088940 hasConcept C2780012671 @default.
- W2248088940 hasConcept C31258907 @default.
- W2248088940 hasConcept C33923547 @default.
- W2248088940 hasConcept C41008148 @default.
- W2248088940 hasConcept C41895202 @default.
- W2248088940 hasConcept C80444323 @default.
- W2248088940 hasConceptScore W2248088940C118615104 @default.
- W2248088940 hasConceptScore W2248088940C121375916 @default.
- W2248088940 hasConceptScore W2248088940C125411270 @default.
- W2248088940 hasConceptScore W2248088940C138885662 @default.
- W2248088940 hasConceptScore W2248088940C151319957 @default.
- W2248088940 hasConceptScore W2248088940C154945302 @default.
- W2248088940 hasConceptScore W2248088940C207390915 @default.
- W2248088940 hasConceptScore W2248088940C2780012671 @default.
- W2248088940 hasConceptScore W2248088940C31258907 @default.
- W2248088940 hasConceptScore W2248088940C33923547 @default.
- W2248088940 hasConceptScore W2248088940C41008148 @default.
- W2248088940 hasConceptScore W2248088940C41895202 @default.
- W2248088940 hasConceptScore W2248088940C80444323 @default.
- W2248088940 hasIssue "43" @default.
- W2248088940 hasLocation W22480889401 @default.
- W2248088940 hasOpenAccess W2248088940 @default.
- W2248088940 hasPrimaryLocation W22480889401 @default.
- W2248088940 hasRelatedWork W1549565700 @default.
- W2248088940 hasRelatedWork W1555947437 @default.
- W2248088940 hasRelatedWork W1572857229 @default.
- W2248088940 hasRelatedWork W1970748964 @default.
- W2248088940 hasRelatedWork W2070314316 @default.
- W2248088940 hasRelatedWork W2086020319 @default.
- W2248088940 hasRelatedWork W2115610240 @default.
- W2248088940 hasRelatedWork W2159676458 @default.
- W2248088940 hasRelatedWork W2166753208 @default.
- W2248088940 hasRelatedWork W2171813614 @default.
- W2248088940 hasRelatedWork W2213644002 @default.
- W2248088940 hasRelatedWork W2324583849 @default.
- W2248088940 hasRelatedWork W2479264892 @default.
- W2248088940 hasRelatedWork W2506151270 @default.
- W2248088940 hasRelatedWork W2767502925 @default.
- W2248088940 hasRelatedWork W2950728456 @default.
- W2248088940 hasRelatedWork W304351464 @default.
- W2248088940 hasRelatedWork W321136657 @default.
- W2248088940 hasRelatedWork W779046787 @default.
- W2248088940 hasRelatedWork W2182214905 @default.
- W2248088940 hasVolume "6" @default.
- W2248088940 isParatext "false" @default.
- W2248088940 isRetracted "false" @default.
- W2248088940 magId "2248088940" @default.
- W2248088940 workType "article" @default.