Avalon: Language support for reliable distributed systems (1987)

by M HERLIHY, J M WING
Venue:In Proceedings 17th International Symposium on Fault-Tolerant Computing