"Concurrent Constraint Programming with Process Mobility."

David R. Gilbert, Catuscia Palamidessi (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics