Formal semantics for expressing optimism

DOI10.1145/224964.224983zbMath1373.68175OpenAlexW2058828829MaRDI QIDQ5361451

Crispin Cowan, Hanan L. Lutfiyya

Publication date: 29 September 2017

Published in: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/224964.224983

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Related Items (1)

Proof of correctness of Ressel's adopted algorithm

This page was built for publication: Formal semantics for expressing optimism