No basic success-sensitive encoding of CCSK into CCS or pi-calculus; partial encodings exist for top-level parallelism under strong bisimilarity or arbitrary parallelism under weak mutual simulation.
Title resolution pending
3 Pith papers cite this work, alongside 5 external citations. Polarity classification is still indexing.
3
Pith papers citing it
5
external citations · Crossref
fields
cs.LO 3representative citing papers
New global types for asynchronous multiparty sessions are interpreted as Prime Event Structures with equivalence to session interpretations as Flow Event Structures when typable.
A survey of encodability criteria for process calculi, showing that the criteria are numerous and incomparable, and outlining frameworks and a relation-based formal analysis to compare them.
citing papers explorer
-
On the Encodability of Reversible Process Calculi
No basic success-sensitive encoding of CCSK into CCS or pi-calculus; partial encodings exist for top-level parallelism under strong bisimilarity or arbitrary parallelism under weak mutual simulation.
-
Global types and event structure semantics for asynchronous multiparty sessions
New global types for asynchronous multiparty sessions are interpreted as Prime Event Structures with equivalence to session interpretations as Flow Event Structures when typable.
-
Comparing Process Calculi Using Encodings
A survey of encodability criteria for process calculi, showing that the criteria are numerous and incomparable, and outlining frameworks and a relation-based formal analysis to compare them.