An Algebraic Theory of Fair Asynchronous Communicating Processes.

Matthew Hennessy

Browse the full ICALP paper archive.