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