Articles
Concurrent Semantics for the π-calculus1

https://doi.org/10.1016/S1571-0661(04)00024-6Get rights and content
Under a Creative Commons license
open access

Abstract

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.

Cited by (0)

1

Work supported in part by Esprit Basic Research project CONFER and working group COMPUGRAPH II and by Progetto Speciale CNR “Specifica ad Alto Livelloe Verifica Formale di Sistemi Digitali”.