U. Engberg and M. Nielsen, “A Calculus of Communicating Systems with Label Passing”, DPB, vol. 15, no. 208, May 1986.