Calculi for synchrony and asynchrony (1983)

by R Milner
Venue:Theorethical Computer Science