@MISC{Lai87ondistributed, author = {Ten H. Lai and Tao H. Yang}, title = { ON DISTRIBUTED SNAPSHOTS}, year = {1987} }
Years of Citing Articles
Bookmark
OpenURL
Abstract
We develop an efficient snapshot algorithm that needs no control messages and does not require channels to be first-in-first-out. We also show that several stable properties (e.g., termination, deadlock) can be detected with uncoordinated distributed snapshots. For such properties, our algorithm can be further simplified.