Cédric Fournet Georges Gonthier The Join Calculus: A Language for Distributed Mobile Programming. 268-332 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950268.htm db/conf/ac/appsem2000.html#FournetG00