Calculi for synchrony and asynchrony, Theoret (1983)

by R Milner
Venue:Comput. Sci