43 citations · 119 across the 29 of their papers we have counts for
1 paper · 1 filter
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs: (1) generation of fault-span, the set of states reacha…