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

by M ttenness, A Ingolfsdottir