Joyce—A programming language for distributed systems
- 1 January 1987
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 17 (1) , 29-50
- https://doi.org/10.1002/spe.4380170105
Abstract
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.Keywords
This publication has 16 references indexed in Scilit:
- An experiment in language design for distributed systemsSoftware: Practice and Experience, 1984
- Static checking of interprocess communication in ECSPACM SIGPLAN Notices, 1984
- A short introduction to Concurrent EuclidACM SIGPLAN Notices, 1982
- A communicating sequential process language and implementationSoftware: Practice and Experience, 1981
- Experience with processes and monitors in MesaCommunications of the ACM, 1980
- Pascal‐plus—another language for modular multiprogrammingSoftware: Practice and Experience, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Ambiguities and insecurities in pascalSoftware: Practice and Experience, 1977
- The solo operating system: A concurrent pascal programSoftware: Practice and Experience, 1976
- MonitorsCommunications of the ACM, 1974