Termination Detection

Citation:	Robert Eschbach, "A Termination Detection Algorithm: Specification and Verification". In J. Wing, J. Woodcock, and J. Davies (eds.), Proceedings of FM'99, Volume II, Springer LNCS 1709, 1999, 1720--1737.
Summary:	A two-level specification of a distributed termination detection algorithm is given using ASMs. The lower-level specification of the algorithm is proved equivalent to the upper-level specification.
Subjects:	Abstract Algorithms, Distributed Systems, Verification
Download:	PostScript, PDF, Compressed PostScript
Notes:	(Courtesy of Springer-Verlag.)

[an error occurred while processing this directive]

Abstract State Machines