A calculus of mobile agents (1996)

by C Fournet, G Gonthier, J-J Lévy, L Maranget, D Rémy
Venue:In CONCUR96