A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines.

Andreea Buga, Sorana Tania Nemes

Browse the full DEXA paper archive.