A symbolic semantics for the \(\pi\)-calculus

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

zbMATH Keywords

semantics\(\pi\)-calculussymbolic transition systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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