The Join Calculus: A Language for Distributed Mobile Programming

Cédric Fournet, Georges Gonthier. The Join Calculus: A Language for Distributed Mobile Programming. In Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva, editors, Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures. Volume 2395 of Lecture Notes in Computer Science, pages 268-332, Springer, 2000. [doi]

Authors

Cédric Fournet

This author has not been identified. Look up 'Cédric Fournet' in Google

Georges Gonthier

This author has not been identified. Look up 'Georges Gonthier' in Google