Borzoo Bonakdarpou

Automated synthesis of Fault-tolerant Distributed Algorithms
August 14, 2013