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.