"The Join Calculus: A Language for Distributed Mobile Programming."

Cédric Fournet, Georges Gonthier (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics