Algebra of Broadcasting Systems: Value Passing, Sequential Composition,
and Fork

# Algebra of Broadcasting Systems: Value Passing, Sequential Composition,
and Fork

**Martin Weichert**

**In 6th
NWPT, pages 428-443**

### Abstract:

*This paper presents ACBS&, Algebra of Broadcasting Systems
with Fork, a process calculus with broadcast communication, which combines
value passing and sequential composition.*Putting value passing into a
calculus with sequential composition turns out to be more complicated than
with a prefixing calculus. A semantics for such a calculus can be defined
using environments, as in imperative languages.

Parallel processes
have parallel environments, which can lead to ambiguity *which* of the
environments shall be passed on to the sequentially following process.
ACBS& solves this problem by distinguishing a foreground and a background
process. The resulting operator can be interpreted as a *fork*
operator, which ``forks off'' a background process.

*The calculus is
presented both in a ``pure'' and a value passing version, together with a
complete axiomatisation for the pure calculus.*

**Comments**-412 96 Göteborg, Sweden.

Available as *PostScript*,
*DVI*.

BRICS WWW home page