Related articles

Works on the new JoCaml

A report on the distributed ray tracer available on this site.
“Programming in JoCaml”, Inria research report 6261, [Pdf, Html].
On ML pattern-matching inside join definitions, a feature introduced in the new version.
“Algebraic Pattern Matching in Join Calculus”, LMCS.

“Compiling Pattern-Matching in Join-Patterns”, CONCUR'04.

Compilation techniques for JoCaml

The technique described is still the core of efficient synchronization in JoCaml.
“Compiling Join-Patterns”, HLCL'98, [Postscript, Html].
On the polymorphic typing of join-definitions.
“Implicit Typing à la ML for the join-calculus”, CONCUR'97.

On the Join-Calculus

The initial article on the join-calculus.
“The reflexive chemical abstract machine and the join-calculus”, POPL'96.
On equivalence in the join-calculus.
“Bisimulations for the join-calculus ”, TCS.