{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:35:24Z","timestamp":1725539724403},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_3","type":"book-chapter","created":{"date-parts":[[2012,9,16]],"date-time":"2012-09-16T22:24:55Z","timestamp":1347834295000},"page":"3-18","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking Propositional Deontic Temporal Logic via a \u03bc-Calculus Characterization"],"prefix":"10.1007","author":[{"given":"Araceli","family":"Acosta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cecilia","family":"Kilmurray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo F.","family":"Castro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno M.","family":"Aguirre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1002\/stvr.258","volume":"12","author":"C. Bernardeschi","year":"2002","unstructured":"Bernardeschi, C., Fantechi, A., Gnesi, S.: Model checking fault tolerant systems. Softw. Test., Verif. Reliab.\u00a012(4), 251\u2013275 (2002)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/3-540-63166-6_50","volume-title":"Computer Aided Verification","author":"A. Biere","year":"1997","unstructured":"Biere, A.: \u03bccke - Efficient \u03bc-Calculus Model Checking. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 468\u2013471. Springer, Heidelberg (1997)"},{"key":"3_CR3","unstructured":"Castro, P.F.: Deontic Action Logics for the Specification and Analysis of Fault-Tolerance. PhD thesis, McMaster University, Department of Computing and Software (2009)"},{"key":"3_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-70525-3_4","volume-title":"Deontic Logic in Computer Science","author":"P.F. Castro","year":"2008","unstructured":"Castro, P.F., Maibaum, T.S.E.: A Tableaux System for Deontic Action Logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 34\u201348. Springer, Heidelberg (2008)"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jal.2009.02.001","volume":"7","author":"P.F. Castro","year":"2009","unstructured":"Castro, P.F., Maibaum, T.S.E.: Deontic action logic, atomic boolean algebra and fault-tolerance. Journal of Applied Logic\u00a07(4), 441\u2013466 (2009)","journal-title":"Journal of Applied Logic"},{"key":"3_CR6","unstructured":"Coenen, J.: Formalisms for Program Reification and Fault Tolerance. PhD thesis, Tenische Universiteit Eindhoven (1994)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TSE.1985.231534","volume":"11","author":"F. Cristian","year":"1985","unstructured":"Cristian, F.: A rigorous approach to fault-tolerant programming. IEEE Trans. Software Eng.\u00a011, 23\u201331 (1985)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-74621-8_13","volume-title":"Frontiers of Combining Systems","author":"T. French","year":"2007","unstructured":"French, T., Mc Cabe-Dansted, J.C., Reynolds, M.: A Temporal Logic of Robustness. In: Konev, B., Wolter, F. (eds.) FroCos 2007. LNCS (LNAI), vol.\u00a04720, pp. 193\u2013205. Springer, Heidelberg (2007)"},{"key":"3_CR9","unstructured":"G\u00e4rtner, F.: Specification for fault-tolerance: A comedy of failures. Technical report, Darmstadt University of Technology (1998)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association of Computing Machinery (1992)","DOI":"10.1145\/147508.147524"},{"issue":"3-5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J.A. Goguen","year":"2002","unstructured":"Goguen, J.A., Rosu, G.: Institution morphisms. Formal Asp. Comput.\u00a013(3-5), 274\u2013307 (2002)","journal-title":"Formal Asp. Comput."},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000478","volume-title":"Algebraic Methodology and Software Technology","author":"T. Janowski","year":"1997","unstructured":"Janowski, T.: On Bisimulation, Fault-Monotonicity and Provable Fault-tolerance. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 292\u2013306. Springer, Heidelberg (1997)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-58468-4_159","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"L. Lamport","year":"1994","unstructured":"Lamport, L., Merz, S.: Specifying and Verifying Fault-Tolerant Systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 41\u201376. Springer, Heidelberg (1994)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1109\/12.247836","volume":"42","author":"L.A. Laranjeira","year":"1993","unstructured":"Laranjeira, L.A., Malek, M., Jenevein, R.M.: Nest: A nested-predicate scheme for fault tolerance. IEEE Trans. Computers\u00a042, 1303\u20131324 (1993)","journal-title":"IEEE Trans. Computers"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/314602.314605","volume":"21","author":"Z. Liu","year":"1999","unstructured":"Liu, Z., Joseph, M.: Specification and verification of fault-tolerance, timing, and scheduling. ACM Trans. Program. Lang. Syst.\u00a021(1), 46\u201389 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.jal.2004.01.005","volume":"2","author":"A. Lomuscio","year":"2004","unstructured":"Lomuscio, A., Sergot, M.J.: A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic\u00a02, 93\u2013116 (2004)","journal-title":"Journal of Applied Logic"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Magee, J., Maibaum, T.S.E.: Towards specification, modelling and analysis of fault tolerance in self managed systems. In: Proceeding of the 2006 International Workshop on Self-Adaptation and Self-Managing Systems (2006)","DOI":"10.1145\/1137677.1137684"},{"key":"3_CR18","unstructured":"Schneider, F., Easterbrook, S.M., Callahan, J.R., Holzmann, G.J.: Validating requirements for fault tolerant systems using model checking. In: 3rd International Conference on Requirements Engineering, ICRE 1998 (1998)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Schneider, K.: Verification of Reactive Systems, Formal Methods and Algorithms. Springer (2004)","DOI":"10.1007\/978-3-662-10778-2"},{"key":"3_CR20","unstructured":"Yokogawa, T., Tsuchiya, T., Kikuno, T.: Automatic verification of fault tolerance using model checking. In: Pacific Rim International Symposium on Dependable Computing (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:03:36Z","timestamp":1620115416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}