Calculus of broadcasting systems

Calculus of broadcasting systems (CBS) is a CCS-like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else speaks. Observationally meaningful laws differ from those of CCS. The handshake communication of CCS is changed to broadcast communication in CBS. This allows several additional features: