On asynchrony in name-passing calculi (1998)

by M Merro, D Sangiorgi
Venue:In Proceedings of ICALP ’98, volume 1443 of LNCS