#REDIRECT [[Join-calculus#Languages based on the join-calculus]]
In computer science, the '''join-calculus''' is a programming language based on the identically-named [[join-calculus]] [[process calculus]]. It is implemented as an interpreter written in [[Ocaml]], and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection<ref>{{cite paper | author=Cedric Fournet, Georges Gonthier | title=The Join Calculus: A Language for Distributed Mobile Programming | date = 2000 | url=http://citeseer.ist.psu.edu/670457.html}}</ref>.
{{R to section}}
== References ==
{{R with history}}
<references/>
== External links ==
*[http://moscova.inria.fr/join/unix/eng.shtml Join-calculus language homepage]
