Rigid Families for CCS and the $$\pi $$ -calculus

DOI10.1007/978-3-319-25150-9_14zbMath1471.68161OpenAlexW2272823372MaRDI QIDQ2787425

Ioana Cristescu, Jean Krivine, Daniele Varacca

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_14

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Rigid Families for the Reversible $$\pi $$ -Calculus ⋮ Event structure semantics for multiparty sessions ⋮ Causal Unfoldings and Disjunctive Causes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Unnamed Item ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ Unnamed Item ⋮ Concurrencies in reversible concurrent calculi

This page was built for publication: Rigid Families for CCS and the $$\pi $$ -calculus