Joyce—A Programming Language for Distributed Systems
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.
KeywordsUser Agent Initial Agent Output Polling Port Statement Port Type
Unable to display preview. Download preview PDF.
- Hoare, C.A.R. 1973. Hints on programming language design. Computer Science Department, Stanford University, Stanford, CA, (December) .Google Scholar
- Inmos, Ltd. 1984. occam Programming Manual. Prentice-Hall, Englewood Cliffs, NJ.Google Scholar
- Jazayeri, M., Ghezzi, C., Hoffman, D., Middleton, D., and Smotherman, M. 1980. CSP/80: A language for communicating sequential processes. IEEE Compcon Fall, (September), 736–740.Google Scholar
- Roubine, O., and Heliar, J.-C. 1980. Parallel processing in Ada. In On the Construction of Programs, R.M. McKeag, and A.M. Macnaghten, Eds. Cambridge University Press, Cambridge, 193–212.Google Scholar