Revision as of 11:47, 24 September 2007 edit Gudeldar (talk \| contribs) Extended confirmed users 3,190 edits m moved Join-calculus programming language to Join-calculus (programming language): naming convention ← Previous edit		Revision as of 06:02, 29 March 2012 edit undo 98.234.249.218 (talk) No edit summary Next edit →
Line 1: 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~~OCaml]], and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection<ref>{{cite paper \| author=Cedric Fournet, Georges Gonthier \| title=The Join Calculus: A Language for Distributed Mobile Programming \| date = 2000 \| url=http://citeseer.ist.psu.edu/670457.html}}</ref>. == References ==

Join-calculus (programming language): Difference between revisions