{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:01:47Z","timestamp":1725897707068},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627906"},{"type":"electronic","value":"9783540685197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035402","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:28:40Z","timestamp":1138184920000},"page":"399-415","source":"Crossref","is-referenced-by-count":4,"title":["Mechanically verified self-stabilizing hierarchical algorithms"],"prefix":"10.1007","author":[{"given":"I. S. W. B.","family":"Prasetya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Y. Afek and G.M. Brown. Self-stabilization of the alternating-bit protocol. In Proceeding of the IEEE 8th Symposium on Reliable Distributed Systems, pages 80\u201383, 1989.","DOI":"10.1109\/RELDIS.1989.72751"},{"key":"27_CR2","unstructured":"Y. Afek and G.M. Brown. Self-stabilization of the alternating-bit protocol. In IEEE 8th Symposiom on Reliable Distributed Systems, October 1989."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"A. Arora and M.G. Gouda. Distributed reset. In Proceedings of the 10th Conference on Foundation of Software Technology and Theoretical Computer Science, 1990. Also in Lecture Notes on Computer Science vol. 472.","DOI":"10.1007\/3-540-53487-3_54"},{"key":"27_CR4","volume-title":"PhD thesis","author":"A. Arora","year":"1992","unstructured":"A. Arora. A foundation for fault-tolerant computing. PhD thesis, Dept. of Comp. Science, Univ. of Texas at Austin, 1992."},{"issue":"1","key":"27_CR5","doi-asserted-by":"crossref","first-page":"1432","DOI":"10.1109\/32.6188","volume":"14","author":"F. Bastani","year":"1988","unstructured":"F. Bastani, I. Yen, and I. Chen. A class of inherently fault tolerant distributed programs. IEEE Transactions on Software Engineering, 14(1):1432\u20131442, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"27_CR6","unstructured":"K.M. Chandy and J. Misra. Parallel Program Design \u2014 A Foundation. Addison-Wesley Publishing Company, Inc., 1988."},{"issue":"3","key":"27_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(91)90111-T","volume":"39","author":"N.S. Chen","year":"1991","unstructured":"N.S. Chen, H.P. Yu, and S.T. Huang. A self-stabilizing algorithm for constructing spanning trees. Information Processing Letters, 39(3):147\u2013151, 1991.","journal-title":"Information Processing Letters"},{"key":"27_CR8","unstructured":"Mike J.C. Gordon and Tom F. Melham. Introduction to HOL. Cambridge University Press, 1993."},{"key":"27_CR9","volume-title":"PhD thesis","author":"T. Herman","year":"1991","unstructured":"Ted Herman. Adaptivity through Distributed Convergence. PhD thesis, University of Texas at Austin, 1991."},{"key":"27_CR10","unstructured":"P.J.A. Lentfert. Distributed Hierarchical Algorithms. PhD thesis, Utrecht University, April 1993."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"P.J.A. Lentfert and S.D. Swierstra. Towards the formal design of self-stabilizing distributed algorithms. In P. Enjalbert, A. Finkel, and K.W. Wagner, editors, STACS 93, Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, pages 440\u2013451. Springer-Verlag, February 1993.","DOI":"10.1007\/3-540-56503-5_44"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems\u2014Specification. Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"27_CR13","unstructured":"I.S.W.B. Prasetya. A formal approach to design self-stabilizing programs. In E. Backer, editor, Proceeding of Computing Science in the Netherlands 94, pages 241\u2013252. SION, Stichting Matematisch Centrum, 1994."},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"I.S.W.B. Prasetya. Towards a mechanically supported and compositional calculus to design distributed algorithms. In T.F. Melham and J. Camilleri, editors, Lecture Notes in Computer Science 859: Higher Order Theorem Proving and Its Application, pages 362\u2013377. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58450-1_54"},{"key":"27_CR15","unstructured":"I.S.W.B. Prasetya. Mechanically Supported Design of Self-stabilizing Algorithms. PhD thesis, Dept. of Comp. Science, Utrecht University, 1995."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T22:11:18Z","timestamp":1549663878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627906","9783540685197"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0035402","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}