Engberg, U., & Nielsen, M. (1986). A Calculus of Communicating Systems with Label Passing. DAIMI Report Series, 15(208). https://doi.org/10.7146/dpb.v15i208.7559