{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:07Z","timestamp":1742598607453,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_174","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:14:49Z","timestamp":1330272889000},"page":"373-392","source":"Crossref","is-referenced-by-count":2,"title":["Fault-tolerant bisimulation and process transformations"],"prefix":"10.1007","author":[{"given":"Tomasz","family":"Janowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/147508.147527","volume":"39","author":"L. Aceto","year":"1992","unstructured":"L. Aceto and M. Hennessy. Termination, deadlock and divergence. Journal of ACM, 39(1):147\u2013187, 1992.","journal-title":"Journal of ACM"},{"issue":"1","key":"18_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.1985.231534","volume":"11","author":"F. Cristian","year":"1985","unstructured":"F. Cristian. A rigorous approach to fault-tolerant programming. IEEE Transactionsn on Software Engineering, 11(1):23\u201331, 1985.","journal-title":"IEEE Transactionsn on Software Engineering"},{"issue":"1","key":"18_CR3","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137\u2013161, 1985.","journal-title":"Journal of the ACM"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01786251","volume":"2","author":"H. Jifeng","year":"1987","unstructured":"He Jifeng and C.A.R. Hoare. Algebraic specification and proof of a distributed recovery algorithm. Distributed Computing, 2:1\u201312, 1987.","journal-title":"Distributed Computing"},{"issue":"7","key":"18_CR5","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1145\/360248.360251","volume":"19","author":"R. Keller","year":"1976","unstructured":"R. Keller. Formal verification of parallel programs. Communications of ACM, 19(7):561\u2013572, 1976.","journal-title":"Communications of ACM"},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0304-3975(87)90007-7","volume":"49","author":"K.G. Larsen","year":"1987","unstructured":"K.G. Larsen. A context dependent equivalence between processes. Theoretical Computer Science, 49:185\u2013215, 1987.","journal-title":"Theoretical Computer Science"},{"key":"18_CR7","unstructured":"Z. Liu. Fault-Tolerant Programming by Transformations. PhD thesis, University of Warwick, 1991."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/BF01211393","volume":"4","author":"Z. Liu","year":"1991","unstructured":"Z. Liu and M. Joseph. Transformations of programs for fault-tolerance. Formal Aspects of Computing, 4:442\u2013469, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"18_CR9","unstructured":"N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. Technical report, MIT Laboratory for Computer Science, 87."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and B. Thomsen. A modal process logic. In Proc. 3rd Annual Symposium on Logic in Computer Science, pages 203\u2013210, 88.","DOI":"10.1109\/LICS.1988.5119"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner. A calculus of communicating systems. LNCS, 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR12","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, 1989."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"J. Nordahl. Specification and Design of Dependable Communicating Systems. PhD thesis, Technical University of Denmark, 1992.","DOI":"10.1007\/978-3-7091-4009-3_3"},{"key":"18_CR15","unstructured":"D. Park. Concurrency and automata on infinite sequences. LNCS, 104, 81."},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02259751","volume":"5","author":"J. Peleska","year":"1991","unstructured":"J. Peleska. Design and verification of fault tolerant systems with CSP. Distributed Computing, 5:95\u2013106, 1991.","journal-title":"Distributed Computing"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"D. Peled and M. Joseph. A compositional approach for fault-tolerance using specification transformation. LNCS, 694, 1993.","DOI":"10.1007\/3-540-56891-3_14"},{"key":"18_CR18","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, 81."},{"issue":"1","key":"18_CR19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33\u201371, 1986.","journal-title":"International Journal of Parallel Programming"},{"key":"18_CR20","unstructured":"K.V.S. Prasad. Combinators and Bisimulation Proofs for Restartable Systems. PhD thesis, Department of Computer Science, University of Edinburgh, 1987."},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"H. Schepers. Tracing fault-tolerance. In Proc. 3rd IFIP Working Conference on Dependable Computing for Critical Applications. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-7091-4009-3_4"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"D.J. Walker. Bisimulation and divergence. Information and Computation, 85:202\u2013241, 90.","DOI":"10.1016\/0890-5401(90)90048-M"},{"key":"18_CR23","first-page":"364","volume":"354","author":"G. Winskel","year":"1989","unstructured":"G. Winskel. An introduction to event structures. LNCS, 354:364\u2013397, 1989.","journal-title":"LNCS"}],"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-58468-4_174.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:30:56Z","timestamp":1742596256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_174","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}