Calculi for synchrony and asynchrony,” (1983)

by R Milner
Venue:Theoretical Computer Science,