A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines
Keyword(s):
2011 ◽
Vol 2
(3)
◽
pp. 64-87
◽
Keyword(s):