1. and , ‘A message system supporting fault tolerance’, Proceedings 9th Symposium Operating Systems Principles, Bretton Woods, NH, ACM SIGOPS, Oct. 1983, pp. 90–99.
2. Optimistic recovery in distributed systems
3. and , ‘Efficient distributed recovery using message logging’, Proceedings 8th ACM Symposium Principles of Distributed Computing, Edmonton, Alberta August 1989, pp. 223–238.
4. and , ‘Real-Time, Concurrent Checkpoint for Parallel Programs’, Proceedings 2nd Symposium on Principles and Practice of Parallel Programming, Seattle, Washington, March 1990, pp. 79–88.
5. Guardians and Actions: Linguistic Support for Robust, Distributed Programs