Flow models of distributed computations: Three equivalent semantics for CCS
From MaRDI portal
Publication:1341775
DOI10.1006/inco.1994.1088zbMath0938.68715OpenAlexW2031124364MaRDI QIDQ1341775
Gérard Boudol, Ilaria Castellani
Publication date: 11 January 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00075078/file/RR-1484.pdf
Formal languages and automata (68Q45) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Semantics in the theory of computing (68Q55)
Related Items
Reversibility in session-based concurrency: a fresh look ⋮ Well-behaved flow event structures for parallel composition and action refinement ⋮ Secure Enforcement for Global Process Specifications ⋮ Reversing algebraic process calculi ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ A refined view of the box algebra ⋮ Causal ambiguity and partial orders in event structures ⋮ Nested-unit Petri nets ⋮ A stable non-interleaving early operational semantics for the pi-calculus ⋮ Event structure semantics for multiparty sessions ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Reasoning about promises in weak memory models with event structures ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ Flow Unfolding of Multi-clock Nets ⋮ Metric semantics for true concurrent real time ⋮ Static versus dynamic reversibility in CCS ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Dynamic Causality in Event Structures ⋮ Context-free event domains are recognizable ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices ⋮ Tile formats for located and mobile systems. ⋮ The box algebra = Petri nets + process expressions ⋮ Operational Semantics of Reversibility in Process Algebra ⋮ Dynamic connectors for concurrency
