Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.

Borzoo Bonakdarpour Sandeep S. Kulkarni Fuad Abujarad Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. 21-36 2007 conf/sss/2007 SSS http://dx.doi.org/10.1007/978-3-540-76627-8_5 db/conf/sss/sss2007.html#BonakdarpourKA07