Hansen, M.; Hüttel, H.; Kleist, J. Bisimulations for Asynchronous Mobile Processes. BRICS 1996, 3.