A theory of communicating processes with value-passing (1990)

by M Hennessy, A Ingólfsdóttir
Venue:In ICALP’90, volume 443 of LNCS