An Algebraic Theory of Fair Asynchronous Communicating (1987)

by M Hennessy
Venue:Processes, Theoretical Computer Science