Join-calculus (programming language): Difference between revisions