{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:44:00Z","timestamp":1648637040441},"reference-count":17,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3850,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0304-3975(01)00202-x","type":"journal-article","created":{"date-parts":[[2002,11,5]],"date-time":"2002-11-05T13:14:58Z","timestamp":1036502098000},"page":"1201-1222","source":"Crossref","is-referenced-by-count":1,"title":["Factorizing fault tolerance"],"prefix":"10.1016","volume":"290","author":[{"given":"I.S.W.B.","family":"Prasetya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.D.","family":"Swierstra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0304-3975(01)00202-X_BIB1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","article-title":"Composing specifications","volume":"15","author":"Abadi","year":"1993","journal-title":"ACM Trans. Program. Languages Systems"},{"key":"10.1016\/S0304-3975(01)00202-X_BIB2","doi-asserted-by":"crossref","unstructured":"A. Arora, A foundation for fault-tolerant computing, Ph.D. Thesis, Department of Computer Science, University of Texas at Austin, 1992.","DOI":"10.1109\/FTCS.1992.243596"},{"key":"10.1016\/S0304-3975(01)00202-X_BIB3","doi-asserted-by":"crossref","unstructured":"A. Arora, M.G. Gouda, Distributed reset. Proc. of the 10th Conf. on Foundation of Software Technology and Theoretical Computer Science, 1990. Also in Lecture Notes on Computer Science, Vol. 472, Springer, Berlin.","DOI":"10.1007\/3-540-53487-3_54"},{"key":"10.1016\/S0304-3975(01)00202-X_BIB4","series-title":"Parallel Program Design\u2014A Foundation","author":"Chandy","year":"1988"},{"key":"10.1016\/S0304-3975(01)00202-X_BIB5","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0167-6423(94)00017-4","article-title":"Composition of assumption-commitment specifications in a UINITY style","volume":"23","author":"Collette","year":"1994","journal-title":"Sci. Comput. Program."},{"issue":"11","key":"10.1016\/S0304-3975(01)00202-X_BIB6","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/361179.361202","article-title":"Self-stabilizing systems in spite of distributed control","volume":"17","author":"Dijkstra","year":"1974","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/S0304-3975(01)00202-X_BIB7","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1145\/177492.177725","article-title":"Model checking and modular verification","volume":"16","author":"Grumberg","year":"1994","journal-title":"ACM Trans. Program. Languages Systems"},{"key":"10.1016\/S0304-3975(01)00202-X_BIB8","unstructured":"T. Herman, Adapting through distributed convergence. Ph.D. Thesis, University of Texas at Austin, 1991."},{"key":"10.1016\/S0304-3975(01)00202-X_BIB9","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0167-6423(83)90014-X","article-title":"An assertional correctness proof of a distributed algorithm","volume":"2","author":"Lamport","year":"1982","journal-title":"Sci. Program."},{"key":"10.1016\/S0304-3975(01)00202-X_BIB10","doi-asserted-by":"crossref","unstructured":"P.J.A. Lentfert, S.D. Swierstra, Towards the formal design of self-stabilizing distributed algorithms, STACS 93, the 10th Ann. Symp. on Theoretical Aspects of Computer Science, Vol. 665, Lecture Notes in Computer Science, Springer, Berlin, February 1993, pp. 440\u2013451.","DOI":"10.1007\/3-540-56503-5_44"},{"issue":"5","key":"10.1016\/S0304-3975(01)00202-X_BIB11","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/BF01211393","article-title":"Transformation of programs for fault-tolerance","volume":"4","author":"Liu","year":"1992","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"10.1016\/S0304-3975(01)00202-X_BIB12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/314602.314605","article-title":"Specification and verification of fault-tolerance timing and scheduling","volume":"21","author":"Liu. M. Joseph","year":"1999","journal-title":"ACM Trans. Program. Languages Systems"},{"key":"10.1016\/S0304-3975(01)00202-X_BIB13","doi-asserted-by":"crossref","unstructured":"I.S.W.B. Prasetya, Formalization of variables access constraints to support compositionality of liveness properties, Higher Order Logic Theorem Proving and Its Applications, Vol. 780, Lecture Notes in Computer Science, Springer, Berlin, 1993, pp. 324\u2013337.","DOI":"10.1007\/3-540-57826-9_145"},{"key":"10.1016\/S0304-3975(01)00202-X_BIB14","unstructured":"I.S.W.B. Prasetya, Mechanically Supported Design of Self-stabilizing Algorithms, Ph.D. Thesis, Department of Computer Science, Utrecht University, 1995."},{"key":"10.1016\/S0304-3975(01)00202-X_BIB15","unstructured":"I.S.W.B. Prasetya, S.D. Swierstra, B. Widjaja, Component-wise formal approach to design distributed systems, Technical Report UU-CS-2000-01, Department of Computer Science, Utrecht University, 2000."},{"key":"10.1016\/S0304-3975(01)00202-X_BIB16","unstructured":"A.K. Singh, Leads-to and program union, Notes on UNITY, 06-89, 1989."},{"key":"10.1016\/S0304-3975(01)00202-X_BIB17","doi-asserted-by":"crossref","unstructured":"R. Udink, Program Refinement in UNITY-like Environments, Ph.D. Thesis, Utrecht University, 1995.","DOI":"10.1007\/3-540-60117-1_24"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439750100202X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439750100202X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T03:08:59Z","timestamp":1583896139000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S030439750100202X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S030439750100202X"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00202-x","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}