Concurrent Processes and Their (1979)

by G Milne, R Milner
Venue:Syntax, JACM