#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}}
The join calculus has been integrated into several languages
{{R with history}}
* Polyphonic C#
* JoinJava
* C++ via Boost
* JErlang (the J is for Join, erjang is Erlang for the JVM)
== References ==
<references/>
== External links ==
*[http://moscova.inria.fr/join/unix/eng.shtml Join-calculus language homepage]
