#REDIRECT [[Join-calculus#Languages based on the join-calculus]]
{{afd-mergeto|Join-calculus#Languages based on the join-calculus|Join-calculus (programming language)|09 April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015|date=April 2015}}
{{R to section}}
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 | year = 2000 | url=http://citeseer.ist.psu.edu/670457.html}}</ref>
{{R with history}}
The join calculus has been integrated into several languages
* [[Polyphonic C Sharp|Polyphonic C#]]
* [[Join Java]]
* C++ via Boost<ref>[http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library]</ref>
* JErlang (the J is for Join, erjang is Erlang for the JVM)<ref>[http://www.doc.ic.ac.uk/~susan/jerlang/ JErlang: Erlang with Joins]</ref>
== References ==
<references/>
== External links ==
*[http://moscova.inria.fr/join/index.shtml Join-calculus language homepage]
*[http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library]
*[http://www.doc.ic.ac.uk/~susan/jerlang/ JErlang: Erlang with Joins]
