Efficient reconfiguration of trees: a case study in methodological design of nonmasking fault-tolerant programs (0)

by A Arora
Venue:Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer 1994 (LNCS 863). pp 110–127