Resolving nondeterminism in distributed redundant systems - Mancini, Luigi V.; Pappalardo, Giuseppe (Computing Laboratory <Newcastle-upon-Tyne>: Technical report series, 1987)