Matches in SemOpenAlex for { <https://semopenalex.org/work/W1535332605> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1535332605 endingPage "492" @default.
- W1535332605 startingPage "473" @default.
- W1535332605 abstract "We address the question of what kind of asynchronouscommunication is exactly modeled by the asynchronous Π-calculus (Πa). To this purposewe define a calculus $pi_mathfrak{B}$ where channels arerepresented explicitly as special buffer processes. The baselanguage for $pi_mathfrak{B}$ is the (synchronous) Π-calculus, except that ordinary processes communicate only viabuffers. Then we compare this calculus with Πa. It turns out that there is a strongcorrespondence between Πaand$pi_mathfrak{B}$ in the case that buffers are bags: we can indeedencode each Πaprocess into astrongly asynchronous bisimilar $pi_mathfrak{B}$ process, andeach $pi_mathfrak{B}$ process into a weakly asynchronousbisimilar Πaprocess. In case thebuffers are queues or stacks, on the contrary, the correspondencedoes not hold. We show indeed that it is not possible to translatea stack or a queue into a weakly asynchronous bisimilarΠaprocess. Actually, for stackswe show an even stronger result, namely that they cannot be encodedinto weakly (asynchronous) bisimilar processes in a Π-calculus without mixed choice." @default.
- W1535332605 created "2016-06-24" @default.
- W1535332605 creator A5069477085 @default.
- W1535332605 creator A5072167634 @default.
- W1535332605 creator A5090842450 @default.
- W1535332605 date "2008-01-01" @default.
- W1535332605 modified "2023-10-17" @default.
- W1535332605 title "On the Asynchronous Nature of the Asynchronous π-Calculus" @default.
- W1535332605 cites W1487583155 @default.
- W1535332605 cites W1522132192 @default.
- W1535332605 cites W1591694044 @default.
- W1535332605 cites W1704532304 @default.
- W1535332605 cites W1879413597 @default.
- W1535332605 cites W1969418483 @default.
- W1535332605 cites W1972478730 @default.
- W1535332605 cites W2013672985 @default.
- W1535332605 cites W2029133311 @default.
- W1535332605 cites W2137865376 @default.
- W1535332605 cites W2165981097 @default.
- W1535332605 cites W2912003593 @default.
- W1535332605 cites W3124439491 @default.
- W1535332605 doi "https://doi.org/10.1007/978-3-540-68679-8_29" @default.
- W1535332605 hasPublicationYear "2008" @default.
- W1535332605 type Work @default.
- W1535332605 sameAs 1535332605 @default.
- W1535332605 citedByCount "20" @default.
- W1535332605 countsByYear W15353326052012 @default.
- W1535332605 countsByYear W15353326052013 @default.
- W1535332605 countsByYear W15353326052014 @default.
- W1535332605 countsByYear W15353326052015 @default.
- W1535332605 countsByYear W15353326052016 @default.
- W1535332605 countsByYear W15353326052017 @default.
- W1535332605 countsByYear W15353326052019 @default.
- W1535332605 countsByYear W15353326052020 @default.
- W1535332605 crossrefType "book-chapter" @default.
- W1535332605 hasAuthorship W1535332605A5069477085 @default.
- W1535332605 hasAuthorship W1535332605A5072167634 @default.
- W1535332605 hasAuthorship W1535332605A5090842450 @default.
- W1535332605 hasBestOaLocation W15353326052 @default.
- W1535332605 hasConcept C151319957 @default.
- W1535332605 hasConcept C199343813 @default.
- W1535332605 hasConcept C199360897 @default.
- W1535332605 hasConcept C2777686260 @default.
- W1535332605 hasConcept C2984882572 @default.
- W1535332605 hasConcept C41008148 @default.
- W1535332605 hasConcept C71924100 @default.
- W1535332605 hasConcept C76155785 @default.
- W1535332605 hasConcept C80444323 @default.
- W1535332605 hasConceptScore W1535332605C151319957 @default.
- W1535332605 hasConceptScore W1535332605C199343813 @default.
- W1535332605 hasConceptScore W1535332605C199360897 @default.
- W1535332605 hasConceptScore W1535332605C2777686260 @default.
- W1535332605 hasConceptScore W1535332605C2984882572 @default.
- W1535332605 hasConceptScore W1535332605C41008148 @default.
- W1535332605 hasConceptScore W1535332605C71924100 @default.
- W1535332605 hasConceptScore W1535332605C76155785 @default.
- W1535332605 hasConceptScore W1535332605C80444323 @default.
- W1535332605 hasLocation W15353326051 @default.
- W1535332605 hasLocation W15353326052 @default.
- W1535332605 hasLocation W15353326053 @default.
- W1535332605 hasLocation W15353326054 @default.
- W1535332605 hasLocation W15353326055 @default.
- W1535332605 hasLocation W15353326056 @default.
- W1535332605 hasOpenAccess W1535332605 @default.
- W1535332605 hasPrimaryLocation W15353326051 @default.
- W1535332605 hasRelatedWork W1527862632 @default.
- W1535332605 hasRelatedWork W1548320035 @default.
- W1535332605 hasRelatedWork W1992984380 @default.
- W1535332605 hasRelatedWork W2109507516 @default.
- W1535332605 hasRelatedWork W2135396778 @default.
- W1535332605 hasRelatedWork W2147711412 @default.
- W1535332605 hasRelatedWork W2367372208 @default.
- W1535332605 hasRelatedWork W2904617301 @default.
- W1535332605 hasRelatedWork W2985618755 @default.
- W1535332605 hasRelatedWork W4243252198 @default.
- W1535332605 isParatext "false" @default.
- W1535332605 isRetracted "false" @default.
- W1535332605 magId "1535332605" @default.
- W1535332605 workType "book-chapter" @default.