Some congruence properties for \(\pi\)-calculus bisimilarities

DOI10.1016/S0304-3975(97)00125-4zbMath0902.68117MaRDI QIDQ1129260

Michele Boreale, Davide Sangiorgi

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

causalitybisimulationcongruence\(\pi\)-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (14)

Tau laws for pi calculus ⋮ Probabilistic and nondeterministic aspects of anonymity ⋮ Trees from Functions as Processes ⋮ A presheaf environment for the explicit fusion calculus ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ A Category of Explicit Fusions ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ Concurrency cannot be observed, asynchronously ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Bisimulations in the join-calculus ⋮ On the expressiveness of internal mobility in name-passing calculi ⋮ On bisimulations for the asynchronous \(\pi\)-calculus ⋮ \(\pi\)-calculus with noisy channels ⋮ Language-based performance prediction for distributed and mobile systems

Cites Work

• Unnamed Item
• Unnamed Item
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A calculus of mobile processes. II
• Comparing locality and causality based equivalences
• Asynchronous process calculi: The first- and higher-order paradigms
• A theory of bisimulation for the \(\pi\)-calculus
• On the bisimulation proof method
• Logic and Algebra of Specification

This page was built for publication: Some congruence properties for \(\pi\)-calculus bisimilarities