Paper Details

Communicating Process Architectures (CPA)
 Title: Broadcasting in CSP Style Programming
 Conference: Communicating Process Architectures 2016
 Authors: Brian Vinter, Kenneth Skovhede, Mads Ohm Larsen
Niels Bohr Institute, University of Copenhagen
 Abstract: While CSP only models process-to-process rendezvous style message passing, several CSP type programming libraries offer more powerful mechanisms, such as buffered channels, multiple receivers and even multiple senders on a single channel. This work investigates the possible variations of a one-to-all broadcasting channel. We discuss the different semantic meanings of broadcasting and show three different possible solutions for adding broadcasting to CSP style programming. 
Files:


BibTeX Entry


Full paper


Presentation