Concurrent Semantics for the π-calculus
Ugo Montanari, Marco Pistore · Electronic Notes in Theoretical Computer Science · 1995
In this paper we give both operational and abstract concurrent semantics for the π-calculus (a process algebra with the ability of handling channels as messages [23]) and discuss their consistency. For the operational semantics [15,6];, for the abstract semantics we introduce interleaving, partial ordering and mixed ordering observations, define the corresponding bisimulation relations and discuss them.