Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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 ...Full description
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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, which are difficult to implement in a distributed setting. Despite this limitation, the join-calculus is equally as expressive as the full ¿-calculus. Encodings of the ¿-calculus in the join-calculus, and vice-versa, have been demonstrated.The join-calculus programming language is based on the 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.