Joyce: a programming language for distributed systems

Authors:
Per Brinch Hansen
Affiliations:
Center for Science and Technology, Syracuse University, Syracuse, NY
Venue:
The origin of concurrent programming
Year:
2002

Citing 11
Cited 0

Communicating sequential processes

Communicating sequential processes
Programming in MODULA-2 (3rd corrected ed.)

Programming in MODULA-2 (3rd corrected ed.)
Experience with processes and monitors in Mesa

Communications of the ACM
Communicating sequential processes

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
Static checking of interprocess communication in ECSP

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Selected writings on computing: a personal perspective

Selected writings on computing: a personal perspective
Operating system principles

Operating system principles
Hints on programming language design.

Hints on programming language design.
A short introduction to Concurrent Euclid

ACM SIGPLAN Notices
Occam Programming Manual

Occam Programming Manual

Quantified Score

Hi-index	0.00

Visualization

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.