Massimo Merro, Davide Sangiorgi: On asynchrony in name-passing calculi. Math. Struct. Comput. Sci. 14(5): 715-767 (2004)