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.
Computer Science Department, Chalmers University of Technology.
Available as PostScript,