Abstract State Machines




ASM Studies

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.)