Join-calculus programming language
Encyclopedia
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.
Join-calculus
The join-calculus is a process calculus developed at INRIA. The join-calculus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally avoids communications constructs found in other process calculi, such as rendezvous communications,...
process calculus
Process calculus
In computer science, the process calculi are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes...
. It is implemented as an interpreter written in Ocaml, and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection.