Join-calculus (programming language)
From Wikipedia, the free encyclopedia
In computer science, the join-calculus is a programming language based on the identically-named 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[1].
[edit] References
- ^ Cedric Fournet, Georges Gonthier (2000). The Join Calculus: A Language for Distributed Mobile Programming. http://citeseer.ist.psu.edu/670457.html.
[edit] External links
 |
This programming language-related article is a stub. You can help Wikipedia by expanding it. |
