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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.