A Calculus for Communicating Processes, volume 92 (1980)

by R Milner
Venue:of Lecture Notes in Computer Science