Calculi for Synchrony and Asynchrony (1983)

by R Milner
Venue:Theoretical Computer Science