Crispin Cowan, Hanan Lutfiyya. Formal Semantics for Expressing Optimism: The Meaning of HOPE. In PODC. pages 164-173, 1995.
@inproceedings{CowanL95, title = {Formal Semantics for Expressing Optimism: The Meaning of HOPE}, author = {Crispin Cowan and Hanan Lutfiyya}, year = {1995}, tags = {semantics, formal semantics}, researchr = {https://researchr.org/publication/CowanL95}, cites = {0}, citedby = {0}, pages = {164-173}, booktitle = {PODC}, }