Reasoning about Uncertainty in Fault-Tolerant Distrbuted Systems (1988)

by M J Fisher, L D Zuck
Venue:Proceedings of the symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: LNCS 331