A symbolic semantics for the \(\pi\)-calculus
From MaRDI portal
Publication:1917090
DOI10.1006/inco.1996.0032zbMath0853.68126OpenAlexW1997454380MaRDI QIDQ1917090
Rocco De Nicola, Michele Boreale
Publication date: 2 January 1997
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0032
Related Items (13)
Tau laws for pi calculus ⋮ Models for name-passing processes: Interleaving and causal ⋮ Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. ⋮ A fully abstract model for the \(\pi\)-calculus. ⋮ Computing strong and weak bisimulations for psi-calculi ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Computing bisimulations for finite-control \(\pi\)-calculus ⋮ Inference systems for observation equivalences in the \(\pi\)-calculus ⋮ Open bisimulation, revisited ⋮ A complete symbolic bisimulation for full applied pi calculus ⋮ Open Bisimulation for the Concurrent Constraint Pi-Calculus ⋮ Symbolic Bisimulation for the Applied Pi Calculus ⋮ Quantifying information leakage in process calculi
This page was built for publication: A symbolic semantics for the \(\pi\)-calculus
