Formal semantics for expressing optimism: The meaning of HOPE (1995)

by C Cowan, H Lutfiyya
Venue:In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing