Script

Nissim Francez, Brent Hailpern
1983 Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83  
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.
doi:10.1145/800221.806723 dblp:conf/podc/FrancezH83 fatcat:w2tpan34sfb75e44z7kjyoajwu