CiteULike mstone's CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

The Join Calculus: A Language for Distributed Mobile Programming Export

by: Cedric Fournet, Georges Gonthier
In In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, Vol. 2395 (2000), pp. 268-332.

Citation Format

[Posts]

View FullText article


mstone's tags for this article

chemical-abstract-machine join-calculus pi-calculus process-calculi

X Reviews [Write a review of this article]

X Find related articles from these CiteULike users

X Find related articles with these CiteULike tags

X Posting History

X 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.


X BibTeX record

X RIS record


Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.