Some congruence properties for \(\pi\)-calculus bisimilarities
From MaRDI portal
Publication:1129260
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)
Related Items
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
- \(\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
- Unnamed Item
- Unnamed Item
