Revision as of 14:01, 12 October 2012 edit Yobot (talk \| contribs) Bots 4,733,870 edits m WP:CHECKWIKI error 61 fix, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8459) ← Previous edit		Revision as of 15:15, 31 March 2015 edit undo Padenton (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 5,225 edits Nominated for deletion; see Wikipedia:Articles for deletion/Join-calculus (programming language). (TW) Next edit →
Line 1: <!-- Please do not remove or change this AfD message until the issue is settled --> {{Article for deletion/dated\|page=Join-calculus (programming language)\|timestamp=20150331151515\|year=2015\|month=March\|day=31\|substed=yes\|help=off}} <!-- For administrator use only: {{Old AfD multi\|page=Join-calculus (programming language)\|date=31 March 2015\|result='''keep'''}} --> <!-- End of AfD message, feel free to edit beyond this point --> 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.<ref>{{cite paper \| author=Cedric Fournet, Georges Gonthier \| title=The Join Calculus: A Language for Distributed Mobile Programming \| year = 2000 \| url=http://citeseer.ist.psu.edu/670457.html}}</ref>

Join-calculus (programming language): Difference between revisions