A theory of communicating processes with value passing (1993)

by M Hennessy, A Ingólfsdóttir
Venue:Information and Computation