Synthesis of fault-tolerant concurrent programs

DOI10.1145/277697.277729zbMath1333.68080OpenAlexW2091093450MaRDI QIDQ2790112

Paul C. Attie, Anish Arora, E. Allen Emerson

Publication date: 2 March 2016

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

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (4)

Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ MR4UM: a framework for adding fault tolerance to UML state diagrams ⋮ Simulation relations for fault-tolerance ⋮ Model-based construction and verification of critical systems using composition and partial refinement

This page was built for publication: Synthesis of fault-tolerant concurrent programs