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.
CITATION STYLE
Holmer, U. (1993). Interpreting broadcast communication in SCCS. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 715 LNCS, pp. 188–201). Springer Verlag. https://doi.org/10.1007/3-540-57208-2_14
Mendeley helps you to discover research relevant for your work.