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
2 Pith papers cite this work, alongside 5 external citations. Polarity classification is still indexing.
2
Pith papers citing it
5
external citations · OpenAlex
fields
cs.LO 2verdicts
UNVERDICTED 2representative 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.
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.