Concurrent processes and their syntax (1979)

by G MILNE, R MILNER
Venue:J. ACM