A Calculus of Communicating Systems. Number 92 (1980)

by R Milner
Venue:in Lecture Notes in Computer Science