{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:45Z","timestamp":1725663525112},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:28:03Z","timestamp":1330212483000},"page":"33-51","source":"Crossref","is-referenced-by-count":2,"title":["A compositional semantics for fault-tolerant real-time systems"],"prefix":"10.1007","author":[{"given":"J.","family":"Coenen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Hooman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"P.A. Bernstein. Sequoia: A Fault-Tolerant Tightly Coupled Multiprocessor for Transaction Processing. IEEE Computer pp. 37\u201346, February 1988.","DOI":"10.1109\/2.17"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"J. Bartlett, J Gray & B. Horst. Fault Tolerance in Tandem Computer Systems. Symp. on the Evolution of Fault-Tolerant Computing, Baden, Austria, 1986.","DOI":"10.1007\/978-3-7091-8871-2_3"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"F. Cristian, B. Dancey & J. Dehn. Fault-Tolerance in the Advanced Automation System. In \u201c20th Annual Symp. on Fault-Tolerant Computing\u201d, 1990.","DOI":"10.1145\/504136.504156"},{"issue":"1","key":"3_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.1985.231534","volume":"SE-11","author":"F. Cristian","year":"1985","unstructured":"F. Cristian. A Rigorous Approach to Fault-Tolerant Programming. IEEE Trans. on Softw. Engin.; SE-11(1):23\u201331, 1985.","journal-title":"IEEE Trans. on Softw. Engin."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"H. Hansson & B. Jonsson. A Framework for Reasoning About Time and Reliability. Proc. 10th IEEE Real-Time Systems Symposium, pp. 101\u2013111, 1989.","DOI":"10.1109\/REAL.1989.63561"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"J. Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54947-1"},{"key":"3_CR7","first-page":"424","volume":"II","author":"J. Hooman","year":"1989","unstructured":"J. Hooman & J. Widom. A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. Proc. PARLE '89 Vol. II:424\u2013441; LNCS 366, 1989.","journal-title":"Proc. PARLE '89"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0167-6423(87)90003-7","volume":"8","author":"M. Joseph","year":"1987","unstructured":"M. Joseph, A. Moitra & N. Soundararajan. Proof Rules for Fault Tolerant Distributed Programs. Science of Comp. Prog.; 8:43\u201367, 1987.","journal-title":"Science of Comp. Prog."},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1145\/214419.214421","volume":"4","author":"N. Kronenberg","year":"1986","unstructured":"N. Kronenberg, H. Levy & W. Strecker. VAXclusters: A Closely-Coupled Distributed System. ACM Trans. on Computer Systems, 4:130\u2013146, 1986.","journal-title":"ACM Trans. on Computer Systems"},{"key":"3_CR10","unstructured":"INMOS Ltd. OCCAM 2 Reference Manual. Prentice-Hall, 1988."},{"key":"3_CR11","unstructured":"J. Ostroff. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Research Studies Press, 1989."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"D. Powell, P. Verissimo, G. Bonn, F. Waeselynck & D. Seaton. The Delta-4 Approach to Dependability in Open Distributed Computing Systems. Proc. FTCS-18, IEEE Computer Society Press, 1988.","DOI":"10.1109\/FTCS.1988.5327"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/356725.356729","volume":"10","author":"B. Randell","year":"1978","unstructured":"B. Randell, P.A. Lee & P.C. Treleaven. Reliability Issues in Computing System Design. ACM Computing Surveys, 10:123\u2013165, 1978.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"3_CR14","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1145\/357369.357371","volume":"1","author":"R.D. Schlichting","year":"1983","unstructured":"R.D. Schlichting & F.B. Schneider. Fail-stop processors: an approach to designing fault-tolerant computing systems. ACM Trans. on Comp. Sys.; 1(3):222\u2013238, 1983.","journal-title":"ACM Trans. on Comp. Sys."},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01667079","volume":"2","author":"A.U. Shankar","year":"1987","unstructured":"A.U. Shankar & S.S. Lam. Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. Distributed Computing; 2:61\u201379, 1987.","journal-title":"Distributed Computing"},{"key":"3_CR16","unstructured":"D. Taylor & G. Wilson. Stratus. In \u201cDependability of Resilient Computers\u201d, T. Anderson Ed., Blackwell Scientific Publications, 1989."}],"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-55092-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:31Z","timestamp":1605646651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}