Издательство: | Книга по требованию |
Дата выхода: | июль 2011 |
ISBN: | 978-6-1331-6970-8 |
Объём: | 92 страниц |
Масса: | 160 г |
Размеры(В x Ш x Т), см: | 23 x 16 x 1 |
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.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.