on the other hand is an asynchronous calculus.
At most two subprocesses participate in any action of a particular parallel
system.
Claus Torp Jensen
In 6th NWPT, pages 220-236
(Calculus of Broadcasting Systems) is a process calculus
in which broadcast is the fundamental communication paradigm. In a
system every parallel subprocess participates in any action that the
system may perform. In that sense is a synchronous calculus of the same
type as 
. on the other hand is an asynchronous calculus.
At most two subprocesses participate in any action of a particular parallel
system.
We show that by adding a priority choice operator to ,
these two different views of communication and parallellism may be reconciled
in the sense that any system may be translated to a term in with
priority choice. A synchronization must necessarily correspond to a
sequence of transitions in the model, and the priority choice
operator enables us to ensure that such sequences terminate correctly. The
translation of terms is correct in the sense that two terms are
strongly bisimilar iff their translations are weakly bisimilar. Due to the
multiway synchronizations in this is the simplest relation between a
term and its translation that we can hope for.
Comments
Computer Science Department, Chalmers University of
Technology.
Available as PostScript,
DVI.
![[BRICS symbol]](http://www.daimi.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page