#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>.
