The Join Calculus: A Language for Distributed Mobile Programming (2000)
| Venue: | In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha |
| Citations: | 47 - 3 self |
BibTeX
@INPROCEEDINGS{Fournet00thejoin,
author = {Cedric Fournet and Georges Gonthier},
title = {The Join Calculus: A Language for Distributed Mobile Programming},
booktitle = {In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha},
year = {2000},
pages = {268--332},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. It is characterized by an explicit notion of locality, a strict adherence to local synchronization, and a direct embedding of the ML programming language. The join calculus is used as the basis for several distributed languages and implementations, such as JoCaml and functional nets.
