Formal semantics for expressing optimism
Crispin Cowan, Hanan L. Lutfiyya · 1995
Article Formal semantics for expressing optimism: the meaning of HOPE Share on Authors: Crispin Cowan Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000 Portland, OR Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000 Portland, ORView Profile , Hanan Lutfiyya Computer Science Department, Middlesex College, University of Western Ontario, London, Ontario N6A 5B7 Computer Science Department, Middlesex College, University of Western Ontario, London, Ontario N6A 5B7View Profile Authors Info & Claims PODC '95: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computingAugust 1995 Pages 164–173https://doi.org/10.1145/224964.224983Online:20 August 1995Publication History 4citation206DownloadsMetricsTotal Citations4Total Downloads206Last 12 Months9Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access