HANSEN, M.; HÜTTEL, H.; KLEIST, J. Bisimulations for Asynchronous Mobile Processes. BRICS Report Series, v. 3, n. 8, 8 Jan. 1996.