A Calculus of Mobile Agents.

Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy

Browse the full CONCUR paper archive.