Processes: A mathematical model of computing agents. (1973)

by R Milner
Venue:Proceedings Logic Colloquium 1973,