Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction.

Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour

Browse the full SRDS paper archive.