A calculus of mobile agents (0)

by Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
Venue:In 7th International Conference on Concurrency Theory (CONCUR’96