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

Borzoo Bonakdarpour, Sandeep S. Kulkarni and Fuad Abujarad

Abstract


Paper:


Return to the publication list
Return to the Sandeep's home page