Matthew Hennessy A Proof Sustem for Communicating Processes with Value-Passing. 346-366 1991 3 Formal Asp. Comput. 4 db/journals/fac/fac3.html#Hennessy91