Representing Faulty Distributed Systems as Nondeterministic Sequential Systems.

K. Mani Chandy

Browse the full SRDS paper archive.