Communication and Concurrency (1989)

by R Milner
Venue:Prentice-Hall International series in computer science