Inference systems for observation equivalences in the \(\pi\)-calculus

DOI10.1007/BF02917004zbMath0955.68083MaRDI QIDQ1974214

Huimin Lin

Publication date: 18 February 2001

Published in: Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

pi-calculusinference systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Symbolic bisimulations
• A calculus of mobile processes. I
• A complete axiomatisation for observational congruence of finite-state behaviours
• Model checking mobile processes
• Algebraic theories for name-passing calculi
• A symbolic semantics for the \(\pi\)-calculus

This page was built for publication: Inference systems for observation equivalences in the \(\pi\)-calculus