Communication and Concurrecy (1989)

by R Milner
Venue:Advanced Compiler Design and Implementation