Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
Bonakdarpour B, Kulkarni S, Abujarad F. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. Lecture Notes In Computer Science 2007, 4838: 21-36. DOI: 10.1007/978-3-540-76627-8_5.Peer-Reviewed Original Research