Mobile processes with a distributed environment (1996)

by C Bodei, P Degano, C Priami
Venue:In Proceedings of ICALP'96, LNCS 1099