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
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design by decomposition of multiparty interactions in Raddle87
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
| 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.