Interpreting broadcast communication in SCCS

Abstract

CBS (Calculus of Broadcasting Systems) is a process calculus in the style of Robin Milner's CCS, with broadcast as the fundamental communication paradigm. A broadcast communication is an atomic and synchronous event — all participants act at the same instant. However, it is asymmetric in the sense that a sender may autonomously transmit a message without concern to whether anyone is listening, whereas a receiver cannot just receive on its own, it has to wait for a message and it is therefore controlled by its environment. We show that the broadcast model of CBS can be interpreted in a model based on synchronous parallelism. This is demonstrated by presenting a translation to SCCS and proving that the translation is correct up to strong bisimulation equivalence.