Efficient detection of a locally stable predicate in a distributed system
From MaRDI portal
Publication:878680
DOI10.1016/j.jpdc.2006.12.004zbMath1115.68028MaRDI QIDQ878680
Mukesh Singhal, Vijay K. Garg, Ajay D. Kshemkalyani, Neeraj Mittal, Ranganath Atreya
Publication date: 26 April 2007
Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9984
termination detection; Deadlock detection; global virtual time computation; inconsistent snapshots; monitoring distributed computation; stable property detection
68M14: Distributed systems