Answers are grounded in this paper and cite their sources.
This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The use of Joyce is illustrated by a variety of examples.
No takes yet. Share an insight, caveat, or question.
Per Brinch Hansen (1987) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: