Contact the author
Luc.Maranget@inria.fr
Created in june 1997.
Frequently asked Questions about the join-calculus
No questions yet ! This is the first release ever. Ask your own questions.