The π-calculus is a process algebra that supports mobility by focusing on the communication
of channels. Milner's presentation of the π-calculus includes a type system assigning arities …

The π-calculus is a process algebra where processes interact by sending communication
links to each other. This paper is an overview of and introduction to its basic theory. We …

The most popular method for establishing bisimilarities among processes is to exhibit
bisimulation relations. By definition,[Rscr] is a bisimulation relation if [Rscr] progresses to …

We study a new formulation of bisimulation for the π-calculus [MPW92], which we have
called open bisimulation (∼). In contrast with the previously known bisimilarity …

We present the fusion calculus as a significant step towards a canonical calculus of
concurrency. It simplifies and extends the/spl pi/-calculus. The fusion calculus contains the …

Ahigher-order process calculusis a calculus for communicating systems which contains
higher-order constructs like communication of terms. We analyse the notion ofbisimulationin …

This paper provides both a fully abstract (domain-theoretic) model for the π-calculus and a
universal (set-theoretic) model for the finite π-calculus with respect to strong late …

Abramsky's domain equation for bisimulation and the author's categorical models for names
combine to give a domain-theoretic model for the/spl pi/-calculus. This is set in a functor …

We study a new formulation of bisimulation for the π-calculus [9], which we have called open
bisimulation (∼). In contrast with the previously known bisimilarity equivalences,∼ is …

This paper presents a process calculus for reconfigurable communicating systems which
has broadcast as basic communication primitive, and we provide an operational semantics …