Join-calculus

<h2 id="implementations">Implementations</h2>
<h3>Languages based on the join-calculus</h3>
<p>The join-calculus programming language is a new language based on the join-calculus process calculus. It is implemented as an interpreter written in <a href="/facts/OCaml/ThBGLND8">OCaml</a>, and supports statically typed distributed programming, transparent remote communication, agent-based mobility, and some failure-detection.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a>
</p>
<ul><li>Though not explicitly based on join-calculus, the rule system of <a href="/facts/CLIPS/5Sek388z">CLIPS</a> implements it if every rule deletes its inputs when triggered (retracts the relevant facts when fired).</li></ul>
<p>Many implementations of the join-calculus were made as extensions of existing programming languages:
</p>
<ul><li><a href="/facts/JoCaml/VIcDmIbr">JoCaml</a> is a version of <a href="/facts/OCaml/ThBGLND8">OCaml</a> extended with join-calculus primitives</li>
<li><a href="/facts/Polyphonic_C_sharp/fIkbRTIs">Polyphonic C#</a> and its successor <a href="/facts/C%25CF%2589/FdKs161Q">Cω</a> extend <a href="/facts/C_Sharp_(programming_language)/UC2gxeyb">C#</a></li>
<li>MC# and Parallel C# extend Polyphonic C#</li>
<li><a href="/facts/Join_Java/mPBRcAJ3">Join Java</a> extends <a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a></li>
<li>A Concurrent Basic proposal that uses Join-calculus</li>
<li>JErlang (the J is for Join, erjang is Erlang for the JVM)<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a></li></ul>
<h3>Embeddings in other programming languages</h3>
<p>These implementations do not change the underlying programming language but introduce join calculus operations through a custom library or DSL:
</p>
<ul><li>The ScalaJoins and the <a href="https://github.com/Chymyst/Chymyst">Chymyst</a> libraries are in <a href="/facts/Scala_(programming_language)/ebL8o6AK">Scala</a></li>
<li><a href="http://joinhs.sourceforge.net/">JoinHs</a> by Einar Karttunen and <a href="https://github.com/syallop/Join-Language">syallop/Join-Language</a> by Samuel Yallop are DSLs for Join calculus in <a href="/facts/Haskell_(programming_language)/4Htv9WLu"> Haskell</a></li>
<li>Joinads - various implementations of join calculus in <a href="/facts/F_Sharp_(programming_language)/jdXHnYz5">F#</a></li>
<li>CocoaJoin is an experimental implementation in <a href="/facts/Objective-C/5mM557BW">Objective-C</a> for iOS and Mac OS X</li>
<li>The Join Python library in <a href="/facts/Python_3/BJsrzTle">Python 3</a><a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a></li>
<li>C++ via Boost<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a> (for boost from 2009, ca. v. 40, current (Dec '19) is 72).</li></ul>

<h2 id="external-links">External links</h2>
<ul><li>INRIA, <a href="http://moscova.inria.fr/join/index.shtml">Join Calculus homepage</a></li>
<li>Microsoft Research, <a href="https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/join-tutorial.pdf">The Join Calculus: a Language for Distributed Mobile Programming</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Cedric Fournet, Georges Gonthier (1995). "The reflexive CHAM and the join-calculus". {{cite journal}}: Cite journal requires |journal= (help), pg. 1 <a href="/wiki/Georges_Gonthier" target="_blank">/wiki/Georges_Gonthier</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Cedric Fournet, Georges Gonthier (1995). "The reflexive CHAM and the join-calculus". {{cite journal}}: Cite journal requires |journal= (help), pg. 2 <a href="http://citeseer.ist.psu.edu/fournet95reflexive.html" target="_blank">http://citeseer.ist.psu.edu/fournet95reflexive.html</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Cedric Fournet, Georges Gonthier (1995). "The reflexive CHAM and the join-calculus". {{cite journal}}: Cite journal requires |journal= (help), pg. 19 <a href="http://citeseer.ist.psu.edu/fournet95reflexive.html" target="_blank">http://citeseer.ist.psu.edu/fournet95reflexive.html</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Petricek, Tomas. "TryJoinads (IV.) - Concurrency using join calculus". tomasp.net. Retrieved 2023-01-24. <a href="http://tomasp.net/blog/joinads-join-calculus.aspx/" target="_blank">http://tomasp.net/blog/joinads-join-calculus.aspx/</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
<li id="fn:5"><p>Cedric Fournet, Georges Gonthier (2000). "The Join Calculus: A Language for Distributed Mobile Programming": 268–332. {{cite journal}}: Cite journal requires |journal= (help) <a href="https://www.microsoft.com/en-us/research/publication/join-calculus-language-distributed-mobile-programming/" target="_blank">https://www.microsoft.com/en-us/research/publication/join-calculus-language-distributed-mobile-programming/</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li>
<li id="fn:6"><p>"JErlang: Erlang with Joins". Archived from the original on 2017-12-08. Retrieved 2015-04-18. <a href="https://web.archive.org/web/20171208175247/http://www.doc.ic.ac.uk/~susan/jerlang/" target="_blank">https://web.archive.org/web/20171208175247/http://www.doc.ic.ac.uk/~susan/jerlang/</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li>
<li id="fn:7"><p>Join Python, Join-calculus for Python by Mattias Andree <a href="https://github.com/maandree/join-python/blob/master/join-python.pdf" target="_blank">https://github.com/maandree/join-python/blob/master/join-python.pdf</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li>
<li id="fn:8"><p>Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library <a href="http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html" target="_blank">http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li>
</ol>

Join-calculus open-in-new

Join-calculus