Conference paper
A methodology for verifying request processing protocols
Christos N. Nikolaou, Nissim Francez, et al.
SIGCOMM 1983
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 to participate in the action of the script. The paper discusses the addition of scripts to the languages CSP and ADA, and to a shared-variable language with monitors. Proof rules are presented for proving partial correctness and freedom from deadlock in concurrent programs using scripts. © 1986.
Christos N. Nikolaou, Nissim Francez, et al.
SIGCOMM 1983
Nissim Francez
Acta Informatica
Peri Tarr, Clay Williams, et al.
ICSE 2007
Nissim Francez, Shalom Goldenberg, et al.
ACM SIGPLAN Notices