Calculi for Synchrony and Asynchrony (1983)

by R Milner
Venue:Theor. Comput. Sci