{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:54Z","timestamp":1725664134648},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:48:07Z","timestamp":1330256887000},"page":"173-184","source":"Crossref","is-referenced-by-count":3,"title":["A compositional approach for fault-tolerance using specification transformation"],"prefix":"10.1007","author":[{"given":"Doron","family":"Peled","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathai","family":"Joseph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/TSE.1986.6312984","volume":"SE-12","author":"R. H. Campbell","year":"1986","unstructured":"R. H. Campbell, B. Randell, Error recovery in asynchronous systems, IEEE Transactions on Software Engineering, SE-12, 1986, 811\u2013826.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. M. Chandy","year":"1985","unstructured":"K. M. Chandy, L. Lamport, Distributed snapshots: determining the global state of distributed systems, ACM Transaction on Computation Systems Vol. 3 (1985), 63\u201375.","journal-title":"ACM Transaction on Computation Systems"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"K.M. Chandy, J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1989.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"issue":"1","key":"14_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 Transactions on Software Engineering, SE-11(1), 1985, 23\u201331.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00264598","volume":"11","author":"G. Huet","year":"1978","unstructured":"G. Huet, B. Lang, Proving and applying program transformations expressed with second order patterns, Acta Informatica 11 (1978), 31\u201355.","journal-title":"Acta Informatica"},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.1987.232562","volume":"SE-13","author":"R. Koo","year":"1987","unstructured":"R. Koo, S. Toueg, Checkpointing and rollback-recovery for distributed systems, IEEE Transactions on Software Engineering, SE-13, 1987, 23\u201331.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"14_CR7","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/BF01211393","volume":"4","author":"Z. Liu","year":"1992","unstructured":"Z. Liu, M. Joseph, Transformations of programs for fault-tolerance, Formal Aspects of Computing, 4 (5), 1992, 442\u2013469.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli, How to cook a temporal proof system for your pet language. Proc. ACM Symposium on Principles on Programming Languages, 1983, 141\u2013151.","DOI":"10.1145\/567067.567082"},{"key":"14_CR9","unstructured":"D. Peled, M. Joseph, A Compositional Framework for Fault-Tolerance by Specification Transformation, submitted for publication."},{"key":"14_CR10","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 Transactions on Computer Systems, 1, 1983, 222\u2013238.","journal-title":"ACM Transactions on Computer Systems"},{"key":"14_CR11","unstructured":"J. Zwiers, Compositionality, concurrency and partial correctness, Springer-Verlag, LNCS 321, 1987."}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:56:57Z","timestamp":1619571417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}