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

DOI10.2168/LMCS-4(2:4)2008MaRDI QIDQ3518280zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A Distribution Law for CCS and a New Congruence Result for the π-Calculus
• Rigid families for CCS and the \(\pi\)-calculus
• On confluence in the \(\pi\)-calculus
• Some congruence properties for \(\pi\)-calculus bisimilarities
• scientific article; zbMATH DE number 2166224
• scientific article; zbMATH DE number 5937649
• A distributional proof of a theorem of Plessner
• Distributive \(\rho\)-calculus
• A noncommutative central limit theorem for CCR-algebras
• Asymptotic equidistribution of congruence classes with respect to the convolution iterates of a probability vector

Cited in

(7)

• The \(C_\pi\)-calculus: a model for confidential name passing
• A schematic axiom for open congruence
• A note on the characterization of weak bisimulation congruence in CCS
• On the expressiveness and decidability of higher-order process calculi
• Tau laws for pi calculus
• Unique parallel decomposition in branching and weak bisimulation semantics
• Unique parallel decomposition for the \(\pi\)-calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3518280)