{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T02:28:28Z","timestamp":1747880908770},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055345","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:28:45Z","timestamp":1153970925000},"page":"158-172","source":"Crossref","is-referenced-by-count":2,"title":["Formal verification of stabilizing systems"],"prefix":"10.1007","author":[{"given":"M.","family":"Siegel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2), 1991.","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"A. Arora, P. Attie, M. Evangelist, and M.G. Gouda. Convergence of iteration systems. Distributed Computing, 7, 1993.","DOI":"10.1007\/BF02278855"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"A. Arora and M.G. Gouda. Closure and convergence: a foundation of fault-tolerant computing. IEEE Transactions on Software Engineering, 19, 1993.","DOI":"10.1109\/32.256850"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the ACM, 17(11), 1974.","DOI":"10.1145\/361179.361202"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"T. Elrad and N. Francez. Decomposition of distributed programs into communication closed layers. Science of Computer Programming, 2, 1982.","DOI":"10.1016\/0167-6423(83)90013-8"},{"key":"15_CR6","unstructured":"S. Ghosh and M.H. Karaata. A self stabilizing algorithm for graph coloring. In Proceedings of the 29th Allerton Conference on Control, Communication, and Computing, October 1991."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"M.G. Gouda and N. Multari. Stabilizing communication protocols. IEEE Transactions on Computers, 40, 1991.","DOI":"10.1109\/12.88464"},{"key":"15_CR8","volume-title":"PhD thesis","author":"T. Herman","year":"1991","unstructured":"T. Herman. Adaptively through Distributed Convergence. PhD thesis, Department of Computer Science, University of Texas Austin, USA, 1991."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Action systems and action refinement in the development of parallel systems. volume 527 of LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"S. Katz and D. Peled. Interleaving set temporal logic. Theoretical Computer Science, 75(3), 1990.","DOI":"10.1016\/0304-3975(90)90096-Z"},{"key":"15_CR11","unstructured":"Y. Lakhnech and M. Siegel. Temporal logic for stabilizing systems. In ICTL 97: International Conference on Temporal Logic. Kluwer Academic Publishers, 1997."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"M. Schneider. Self-stabilization. ACM Computing Surveys, 25, 1993.","DOI":"10.1145\/151254.151256"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"M. Siegel. A refinement theory that supports both \u2018decrease of non-determinism\u2019 and \u2018increase of parallelism\u2019. In S. Smolka, editor, CONCUR \u201995 (Conference on Concurrency Theory), volume 962 of LNCS, 1995.","DOI":"10.1007\/3-540-60218-6_28"},{"key":"15_CR15","volume-title":"PhD thesis","author":"M. Siegel","year":"1996","unstructured":"M. Siegel. Phased Design and Verification of Stabilizing Systems. PhD thesis, Christian Albrechts University of Kiel, Germany, 1996."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"M. Siegel and F. Stomp. Extending the limits of sequentially phased reasoning. In P. S. Thiagarajan, editor, FST&TCS 14 (Foundations of Software Technology & Theoretical Computer Science), volume 880 of LNCS, 1994.","DOI":"10.1007\/3-540-58715-2_141"},{"key":"15_CR17","unstructured":"Stabilization Research at Iowa, http:\/\/www.cs.uiowa.edu\/ftp\/selfstab\/main.html."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"F. Stomp and W.P. de Roever. A principle for sequentially phased reasoning about distributed algorithms. Formal Aspects of Computing, 6(6), 1994.","DOI":"10.1007\/BF03259394"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"F.A. Stomp. Structured design of self-stabilizing programs. In Proceedings of the 2nd Israel Symposium on Theory of Computing and Systems, 1993.","DOI":"10.1109\/ISTCS.1993.253472"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:28:35Z","timestamp":1555734515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0055345","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}