Engberg, U.; Nielsen, M. A Calculus of Communicating Systems With Label Passing. DPB 1986, 15.