Engberg, Uffe, and Mogens Nielsen. 1986. “A Calculus of Communicating Systems With Label Passing”. DAIMI Report Series 15 (208). https://doi.org/10.7146/dpb.v15i208.7559.