6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…