CLU reference manual
Simulation of Procedure Variables Using Ada Tasks
IEEE Transactions on Software Engineering
Communicating sequential processes
Communications of the ACM
Extended naming conventions for communicating processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Edge locks and deadlock avoidance in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Mechanisms for broadcast and selective broadcast
Mechanisms for broadcast and selective broadcast
MUPPET—a programming environment of message-based multiprocessors
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Hi-index | 0.00 |
In this paper, we introduce a new abstraction mechanism, called a script, which hides the low-level details that implement patterns of communication. A script localizes the communication between a set of roles (formal processes), to which actual processes enroll in order to participate in the action of the script. The paper discusses the addition of scripts to the languages CSP and Ada, as well as to a shared-variable language with monitors.