A calculus of mobile agents (1996)

by C Fournet, G Gonthier, J-J Levy, L Maranget, D Remy
Venue:In Proc. CONCUR, volume 1119 of Lecture notes in computer science