{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:46:02Z","timestamp":1778298362473,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540638889","type":"print"},{"value":"9783540696612","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000463","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"60-74","source":"Crossref","is-referenced-by-count":17,"title":["Deadlock analysis for a fault-tolerant system"],"prefix":"10.1007","author":[{"given":"Bettina","family":"Buth","sequence":"first","affiliation":[]},{"given":"Michel","family":"Kouvaras","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Shi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"N. A. Brock and D. M. Jackson: Formal Verification of a Fault Tolerant Computer. In Proceedings of 1992 Digital Avionics Systems Conference. (1992)","DOI":"10.1109\/DASC.1992.282170"},{"key":"5_CR2","unstructured":"B. Buth and J. Peleska: Daimler-Benz Aerospace \u2014 Project DMS-R, FTC Development \u2014 Verification of Avionics Interface AVI. Technical Report, JP Software-Consulting, (1996)."},{"key":"5_CR3","unstructured":"B. Buth, J. Peleska and H. Shi: Daimler-Benz Aerospace \u2014 Project DMS-R, FTC Development \u2014 Fault Management Layer (FML): Verification of Deadlock Freedom. Technical Report, JP Software-Consulting, (1996)."},{"key":"5_CR4","unstructured":"Daimler-Benz Aerospace: DMS-R FTC Detailed Design Document Volume 3 (FML Software)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"J. Davies: Specification and Proof in Real-Time CSP. Cambridge University Press (1993).","DOI":"10.1017\/CBO9780511569760"},{"key":"5_CR6","unstructured":"Formal Systemes: Failures Divergence Refinement FDR2 Preliminary Manual. Formal Systems (Europe) Lts (1995)."},{"key":"5_CR7","unstructured":"C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall Internationaal (1985)."},{"key":"5_CR8","unstructured":"Kolyang, C. L\u00fcth and B. Wolff: Generic Interfaces for Formal Development Support Tools. To appear in Proceedings of the International Workshop for Tool Support in Verification and Validation. LNCS (1997)."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"L. Lamport, R. Shostak, and M. Pease, The Byzantine Generals Problem, In: ACM Transactions on Programming Languages and Systems, Vol.4, Nr. 3, (1982)","DOI":"10.1145\/357172.357176"},{"key":"5_CR10","unstructured":"A. W. Roscoe: Model-Checking CSP. In: A Classical Mind, Eassys in Honour of C.A.R. Hoare. Prentice-Hall Internationaal (1994)."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"A. W. Roscoe: CSP and determinism in security modelling. In: IEEE Symposium of Security and Privacy, (1995).","DOI":"10.1109\/SECPRI.1995.398927"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"H. Tej and B. Wolff: A Corrected Failures-Divergence Model for CSP in Isabelle\/HOL. To appear in Proceedings of the Formal Methods Europe, LNCS (1997).","DOI":"10.1007\/3-540-63533-5_17"},{"key":"5_CR13","unstructured":"B. Krieg-Br\u00fcckner, J. Peleska, E.-R. Olderog, D. Balzer and A. Baer. Universal Formal Methods Workbench. In U. Grote and G. Wolf, editors, Statusseminar Softwaretechnologie des BMBF, March 1996, Berlin, Deutsche Forschungsanstanlt f\u00fcr Luft-und Raumfahrt, Berlin, 1996."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:21:56Z","timestamp":1586485316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000463"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0000463","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}