Algebra of Broadcasting Systems: Value Passing and Sequential Composition

. This paper presents ACBS, Algebra of Broadcasting Systems, a process calculus characterised by value passing + sequential composition + broadcast communication. ACBS is based on CBS, Calculus of Broadcasting Systems, a CCS-like calculus with broadcast communication instead of handshake, and on ACP, Algebra of Communicating Processes, a family of calculi built with sequential composition. The paper defines an operational semantics with program environments and defines bisimulations for that semantics, and presents a set of laws for bisimulation. The use of three different "merge" operators as in ACP makes axiomatisationeasier. The differences between prefixing and sequential composition, which are not so drastic in the "pure" calculi, become quite apparent when value passing is added. Whereas sequential composition leads to an imperative-style semantics involving program environments, prefixing more closely resembles evaluation in a functional-style language. 1. Introduction The basi..