Formal Semantics for Expressing Optimism: The Meaning of HOPE (1995)

Cached

Download Links

by Crispin Cowan , Hanan Lutfiyya
Venue:In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing
Citations:6 - 3 self