Complexity Analysis of Weak Multitolerance - Jingshu Chen; Kulkarni, Sandeep (2010 IEEE 30th International Conference on Distributed Computing Systems, 2010)
Keywords: Clocks; Computer bugs; Computer science; Costs; Distributed computing; Fault tolerance; Fault tolerant systems; Formal methods; Multitolerance; Polynomials; Program synthesis; Safety; Synchronization