A calculus of mobile agents. (1996)

by Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, Didier Remy
Venue:In 7th International Conference on Concurrency Theory (CONCUR’96),