Formal semantics for expressing optimism: the meaning of HOPE

  • Authors:
  • Crispin Cowan;Hanan Lutfiyya

  • Affiliations:
  • Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000 Portland, OR;Computer Science Department, Middlesex College, University of Western Ontario, London, Ontario N6A 5B7

  • Venue:
  • Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract