Avalon: Language Support for Reliable Distributed Systems (1987)

by M P Herlihy, J M Wing
Venue:In Proceedings of the Seventeenth International Symposium on Fault-Tolerant Computing. IEEE