{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:45:40Z","timestamp":1742381140472},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_9","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"82-93","source":"Crossref","is-referenced-by-count":63,"title":["Automating the Addition of Fault-Tolerance"],"prefix":"10.1007","author":[{"given":"Sandeep S.","family":"Kulkarni","sequence":"first","affiliation":[]},{"given":"Anish","family":"Arora","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"A. Arora and S. S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. International Conference on Distributed Computing Systems, pages 436\u2013443, May 1998.","DOI":"10.1109\/ICDCS.1998.679772"},{"key":"9_CR2","unstructured":"S. S. Kulkarni. Component-based design of fault-tolerance. PhD thesis, Ohio State University, 1999."},{"key":"9_CR3","series-title":"Technical Report","volume-title":"Automating the addition of fault-tolerance","author":"S. S. Kulkarni","year":"2000","unstructured":"Sandeep S. Kulkarni and Anish Arora. Automating the addition of fault-tolerance. Technical Report MSU-CSE-00-13, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, June 2000."},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21:181\u2013185, 1985.","journal-title":"Information Processing Letters"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E. A. Emerson","year":"1982","unstructured":"E. A. Emerson and E. M. Clarke. Using branching time temporal logic to synchronize synchronization skeletons. Science of Computer Programming, 2:241\u2013266, 1982.","journal-title":"Science of Computer Programming"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Z. Manna and P. Wolper. Synthesis of communicating processes from temporal logic speci_cations. ACM Transactions on Programming Languages and Systems, 6:68\u201393, 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the synthesis of a reactive module. ACM Symposium on Principles of Programming Languages, pages 179\u2013190, 1989.","DOI":"10.1145\/75277.75293"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"A. Anuchitanukul and Z. Manna. Reliability and synthesis of reactive modules. International Conference on Computer-Aided Verification, pages 156\u2013169, 1994.","DOI":"10.1007\/3-540-58179-0_51"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"A. Arora, P. C. Attie, and E. A. Emerson. Synthesis of fault-tolerant concurrent programs. Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC), 1998.","DOI":"10.1145\/277697.277729"},{"key":"9_CR10","unstructured":"O. Kupferman and M. Vardi. Synthesis with incomplete information. ICTL, 1997."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"D. Dill and H. Wong-Toi. Synthesizing processes and schedulers from temporal specifications. International Conference on Computer-Aided Verification, 1990.","DOI":"10.1090\/dimacs\/003\/13"}],"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\/3-540-45352-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T10:12:14Z","timestamp":1556964734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}