M. Hansen, H. Hüttel, and J. Kleist, “Bisimulations for Asynchronous Mobile Processes”, BRICS, vol. 3, no. 8, Jan. 1996.