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

Borzoo Bonakdarpour Sandeep S. Kulkarni Fuad Abujarad

Published in: SSS (2007)

Keyphrases

fault tolerant
distributed systems
fault tolerance
probabilistic model
state machine
response time
qualitative and quantitative