Script: A Communication Abstraction Mechanism and Its Verification

[1]  Willem P. de Roever,et al.  A Proof System for Concurrent ADA Programs , 1984, Sci. Comput. Program..

[2]  Leslie Lamport,et al.  Specifying Concurrent Program Modules , 1983, TOPL.

[3]  David Alex Lamb,et al.  Simulation of Procedure Variables Using Ada Tasks , 1983, IEEE Transactions on Software Engineering.

[4]  Krzysztof R. Apt,et al.  Formal Justification of a Proof System for Communicating Sequential Processes , 1983, JACM.

[5]  Nissim Francez,et al.  Decomposition of Distributed Programs into Communication-Closed Layers , 1982, Sci. Comput. Program..

[6]  Paul N. Hilfinger,et al.  Implementation strategies for Ada tasking idioms , 1982, AdaTEC '82.

[7]  Henry F. Korth,et al.  Edge locks and deadlock avoidance in distributed systems , 1982, PODC '82.

[8]  Nissim Francez,et al.  Extended naming conventions for communicating processes , 1982, POPL '82.

[9]  Susan S. Owicki,et al.  Modular verification of concurrent programs , 1982, POPL '82.

[10]  George G. Robertson,et al.  Accent: A communication oriented network operating system kernel , 1981, SOSP.

[11]  Krzysztof R. Apt,et al.  Ten Years of Hoare's Logic: A Survey—Part I , 1981, TOPL.

[12]  Mathai Joseph,et al.  Schemes for Communication , 1981 .

[13]  David Gries,et al.  Assignment and Procedure Call Proof Rules , 1980, TOPL.

[14]  Willem P. de Roever,et al.  A Proof System for Communicating Sequential Processes , 1980, ACM Trans. Program. Lang. Syst..

[15]  D. W. Wall.  Mechanisms for broadcast and selective broadcast , 1980 .

[16]  Robert Fitzgerald,et al.  An informal definition of Alphard (Preliminary) , 1978 .

[17]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[18]  Niklaus Wirth,et al.  Modula: A language for modular multiprogramming , 1977, Softw. Pract. Exp..

[19]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[20]  C. A. R. Hoare,et al.  Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.