{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:14Z","timestamp":1742617094410,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:48:51Z","timestamp":1330256931000},"page":"197-208","source":"Crossref","is-referenced-by-count":9,"title":["Trace-based compositional reasoning about fault tolerant systems"],"prefix":"10.1007","author":[{"given":"Henk","family":"Schepers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jozef","family":"Hooman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"5","key":"16_CR1","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/PROC.1986.13527","volume":"74","author":"A. Avi\u017eienis","year":"1986","unstructured":"Avi\u017eienis, A., Laprie, J.C.: Dependable Computing: From Concepts to Design Diversity, Proceedings of the IEEE 74(5) (May 1986) 629\u2013638.","journal-title":"Proceedings of the IEEE"},{"issue":"5","key":"16_CR2","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K. A. Bartlett","year":"1969","unstructured":"Bartlett, K.A, Scantlebury, R.A., Wilkinson, P.T.: A Note on Reliable Full-Duplex Transmission over Half-Duplex Links, CACM 12(5) (1969) 260\u2013261.","journal-title":"CACM"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Coenen, J., Hooman, J.: A Compositional Semantics for Fault Tolerant Real-Time Systems, Lecture Notes in Computer Science 571 (Springer, 1991) 33\u201351.","DOI":"10.1007\/3-540-55092-5_3"},{"issue":"1","key":"16_CR4","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S. A. Cook","year":"1978","unstructured":"Cook, S.A.: Soundness and Completeness of an Axiom System for Program Verification, SIAM Journal on Computing 7(1) (February 1978) 70\u201390.","journal-title":"SIAM Journal on Computing"},{"issue":"1","key":"16_CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.1985.231534","volume":"SE-11","author":"F. Cristian","year":"1985","unstructured":"Cristian, F.: A Rigourous Approach to Fault Tolerant Programming, IEEE Trans. on Software Engineering SE-11(1) (1985) 23\u201331.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"10","key":"16_CR6","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming, CACM 12(10) (1969) 576\u2013580,583.","journal-title":"CACM"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes (Prentice-Hall, 1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hooman, J.: Specification and Compositional Verification of Real-Time Systems, Lecture Notes in Computer Science 558 (Springer, 1992).","DOI":"10.1007\/3-540-54947-1"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0167-6423(87)90003-7","volume":"8","author":"M. Joseph","year":"1987","unstructured":"Joseph, M., Moitra, A., Soundararajan, N.: Proof Rules for Fault Tolerant Distributed Programs, Science of Computer Programming 8 (1987) 43\u201367.","journal-title":"Science of Computer Programming"},{"key":"16_CR10","unstructured":"Lamport, L.: What Good is Temporal Logic, in: Manson, R.E., ed.: Information Processing (North-Holland, 1983) 657\u2013668."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Laprie, J.C.: Dependable Computing and Fault Tolerance: Concepts and Terminology, Proc. 15th Int. Symp. on Fault Tolerant Computing Systems (IEEE Computer Society Press, 1985) 2\u201311.","DOI":"10.1109\/FTCSH.1995.532603"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice (Springer, 1990).","DOI":"10.1007\/978-3-7091-8990-0"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF02259750","volume":"5","author":"K. Paliwoda","year":"1991","unstructured":"Paliwoda, K., Sanders, J.W.: An Incremental Specification of the Sliding Window Protocol, Distributed Computing 5 (1991) 83\u201394.","journal-title":"Distributed Computing"},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02259751","volume":"5","author":"J. Peleska","year":"1991","unstructured":"Peleska, J.: Design and Verification of Fault Tolerant Systems with CSP, Distributed Computing 5 (1991) 95\u2013106.","journal-title":"Distributed Computing"},{"issue":"2","key":"16_CR15","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/356725.356729","volume":"10","author":"B. Randell","year":"1978","unstructured":"Randell, B., Lee, P.A., Treleaven, P.C.: Reliability Issues in Computing System Design, ACM Computing Surveys 10(2) (June 1978) 123\u2013165.","journal-title":"ACM Computing Surveys"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Schepers, H.: Terminology and Paradigms for Fault Tolerance, in: Vytopil, J., ed.: Formal Techniques in Real-Time and Fault Tolerant Systems (Kluwer Academic Publishers, 1993) 3\u201331.","DOI":"10.1007\/978-1-4615-3220-0_1"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Schepers, H.: Tracing Fault Tolerance, Proc. 3rd IFIP Int. Working Conference on Dependable Computing for Critical Applications (to appear).","DOI":"10.1007\/978-3-7091-4009-3_4"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Schepers, H., Hooman, J.: A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems, Eindhoven University of Technology, 1993.","DOI":"10.1007\/3-540-56891-3_16"},{"issue":"3","key":"16_CR19","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/75200.75240","volume":"14","author":"D. G. Weber","year":"1989","unstructured":"Weber, D.G.: Formal Specification of Fault-Tolerance and its Relation to Computer Security, ACM Software Engineering Notes 14(3) (1989) 273\u2013277.","journal-title":"ACM Software Engineering Notes"},{"issue":"3","key":"16_CR20","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/129393.129396","volume":"14","author":"J. Widom","year":"1992","unstructured":"Widom, J., Gries, D., Schneider, F.B.: Trace-based network proof systems: expressiveness and completeness, ACM TOPLAS 14(3) (July 1992) 396\u2013416.","journal-title":"ACM TOPLAS"},{"key":"16_CR21","unstructured":"Zwiers, J.: Compositionality, Concurrency and Partial Correctness, Lecture Notes in Computer Science 321 (Springer, 1989)."}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:56:34Z","timestamp":1742594194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}