| 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]
URL:
http://web.eecs.umich.edu/gasm/papers/termdet.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT