An exception handling mechanism for SR

Liskov, 1979, Exception handling in CLU, IEEE Trans. Software Engng, 5, 546, 10.1109/TSE.1979.230191 Goodenough, 1975, Exception handling: Issues and a proposed notation, Commun. ACM, 18, 683, 10.1145/361227.361230 Cocco, 1982, A mechanism for exception handling and its verification rules, Comput. Lang., 7, 89, 10.1016/0096-0551(82)90024-8 Yemini, 1985, A modular verifiable exception handling mechanism, ACM Trans. Prog. Lang. Systems, 7, 214, 10.1145/3318.3320 U.S. Department of Defense, 1983, Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A Xerox Corporation, 1985 Andrews, 1988, An overview of the SR language and implementation, ACM Trans. Prog. Lang. Systems, 10, 51, 10.1145/42192.42324 Andrews, 1989, Report on the SR programming language Schlichting, 1987, Mechanisms for failure handling in distributed programming languages Bernstein, 1987, Predicate transfer and timeout in message passing systems, Inform. Process. Lett., 24, 43, 10.1016/0020-0190(87)90197-9 Huang, 1989, A failure detection and handling mechanism for the SR distributed programming language Archer, 1989, Specification and verification of secure concurrent and distributed software systems Gehani, 1989