Wesley Calvert
-
Communicating sequential processes
Process algebra
Communications of the ACM
A Calculus of Communicating Systems