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 symbol] BRICS WWW home page