Interpreting Broadcast Communication in CCS with Priority Choice

# Interpreting Broadcast Communication in CCS with Priority Choice

**Claus Torp Jensen**

**In 6th
NWPT, pages 220-236**

### Abstract:

* (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 WWW home page