A theory of communicating processes with value-passing, I&C (1991)

by M Hennessy, M Ingolfsdottir