A Distribution Law for CCS and a New Congruence Result for the pi-calculus

DOI10.2168/LMCS-4(2:4)2008zbMath1149.68063OpenAlexW2951011785MaRDI QIDQ3518280

Daniel Hirschkoff, Damien Pous

Publication date: 7 August 2008

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-4(2:4)2008

zbMATH Keywords

strong bisimilarity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Unique parallel decomposition in branching and weak bisimulation semantics ⋮ On the expressiveness and decidability of higher-order process calculi ⋮ Unnamed Item ⋮ The \(C_\pi\)-calculus: a model for confidential name passing

This page was built for publication: A Distribution Law for CCS and a New Congruence Result for the pi-calculus