{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:29:49Z","timestamp":1725618589214},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1990,9,3]]},"DOI":"10.1145\/504136.504187","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T11:34:51Z","timestamp":1075808091000},"page":"1-4","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a formal framework for fault-tolerance"],"prefix":"10.1145","author":[{"given":"Henk","family":"Schepers","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology"}]}],"member":"320","published-online":{"date-parts":[[1990,9,3]]},"reference":[{"key":"e_1_3_2_1_1_2","unstructured":"T. Anderson and P.A Lee \"Fault Tolerance Principles and Practice\" Prentice-Hall International Inc. 1981. T. Anderson and P.A Lee \"Fault Tolerance Principles and Practice\" Prentice-Hall International Inc. 1981."},{"key":"e_1_3_2_1_2_2","unstructured":"J. Coenen and H. Schepers \"Notes on Fault-Tolerant System Design I: Formal Specification of a Reliable Disk\" Dept. of Math. and Comp. Science Eindhoven University of Technology. To appear. J. Coenen and H. Schepers \"Notes on Fault-Tolerant System Design I: Formal Specification of a Reliable Disk\" Dept. of Math. and Comp. Science Eindhoven University of Technology. To appear."},{"volume-title":"Technical Report RJ 3754 (43320)","year":"1983","author":"Cristian F.","key":"e_1_3_2_1_3_2"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13776"},{"volume-title":"\"Lecture Notes in Computer Science 105: Dislributcd Systems -- Architecture and Implementation\"","year":"1981","author":"Lampson B.W.","key":"e_1_3_2_1_5_2"},{"key":"e_1_3_2_1_6_2","first-page":"2","volume-title":"Proe. 15th Int. Symp. on Fault Tolerant Computing Systems","author":"Laprie J.C.","year":"1985"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/357369.357371"},{"key":"e_1_3_2_1_9_2","first-page":"71","article-title":"Specifying and Verifying Ultra- Reliability and Fault-Tolerance Properties","author":"Schwartz R.L.","year":"1983","journal-title":"IEEE CompCon"},{"volume-title":"Technical Report F30602- 86-C-0263, Odyssey Research Associates","year":"1987","author":"Weber D.","key":"e_1_3_2_1_10_2"}],"event":{"name":"EW90: ACM\/SIOPS European Workshop","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Bologna Italy","acronym":"EW90"},"container-title":["Proceedings of the 4th workshop on ACM SIGOPS European workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/504136.504187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T11:06:26Z","timestamp":1673435186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/504136.504187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9,3]]},"references-count":9,"alternative-id":["10.1145\/504136.504187","10.1145\/504136"],"URL":"https:\/\/doi.org\/10.1145\/504136.504187","relation":{},"subject":[],"published":{"date-parts":[[1990,9,3]]},"assertion":[{"value":"1990-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}