Claus Torp Jensen
In 6th NWPT, pages 220-236
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.