Join-calculus programming language

From Wikipedia, the free encyclopedia

You have new messages (last change).

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

  1. ^ Cedric Fournet, Georges Gonthier (2000). "The Join Calculus: A Language for Distributed Mobile Programming".

[edit] External links


Soft Eng logo This computer language-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../j/o/i/Join-calculus_programming_language.html"