6 citations · 31 across the 34 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…