{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:58:16Z","timestamp":1725551896740},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311980"},{"type":"electronic","value":"9783540322177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11611257_18","type":"book-chapter","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T16:37:18Z","timestamp":1136479038000},"page":"207-217","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic"],"prefix":"10.1007","author":[{"given":"Donghuo","family":"Chen","sequence":"first","affiliation":[]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Schwanke, R.W., Kaiser, G.E.: Living with Inconsistency in Large Systems. In: Proc. the International Workshop on Software Version and configuration control, pp. 98\u2013118 (1988)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A. Hunter","year":"1998","unstructured":"Hunter, A., Nuseibeh, B.: Managing Inconsistent Specification: Reasoning, Analysis and Action. ACM Transaction on Software Engineering and Methodology\u00a07, 335\u2013367 (1998)","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"18_CR3","unstructured":"Miarka, R.: Inconsistent and Underdefinedness in Z Specification. Phd thesis, The University of Kent (2002)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-49676-2_17","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"S.H. Valentine","year":"1998","unstructured":"Valentine, S.H.: Inconsistency and Undefinedness in Z - a Practical Quide. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 233\u2013250. Springer, Heidelberg (1998)"},{"key":"18_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8453-1","volume-title":"Inconsistent Mathematics","author":"C. Mortensen","year":"1995","unstructured":"Mortensen, C.: Inconsistent Mathematics. Kluwer Academic Publishers Group, Dordrecht (1995)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C. Costa da","year":"1974","unstructured":"da Costa, N.C.: On the Theory of Inconsistent Formal System. Notre Dame Journal of Formal Logic\u00a015, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"18_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A. Hunter","year":"2000","unstructured":"Hunter, A.: Reasoning with Contradictory Information Using Quasi-Classical Logic. J. of Logic and Computation\u00a010(5), 677\u2013703 (2000)","journal-title":"J. of Logic and Computation"},{"key":"18_CR8","unstructured":"Batens, D., Mortensen, C., Priest, G., Bendegem, J.P.V.: Frontiers of Paraconsistent Logic. King\u2019s College Publications (2000)"},{"key":"18_CR9","first-page":"9","volume":"7","author":"I.D. Ottaviano","year":"1990","unstructured":"Ottaviano, I.D.: On the Development of Paraconsistent Logic and da Costa\u2019s Work. Journal of Non-Classical Logic\u00a07, 9\u201372 (1990)","journal-title":"Journal of Non-Classical Logic"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Hunter, A.: Paraconsistent Logic. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertain Information, vol.\u00a0II, pp. 13\u201344. Kluwer, Dordrecht (1998)","DOI":"10.1007\/978-94-017-1739-7_2"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A Useful Four-Valued Logic. Modern Uses of Multiple-Valued Logic. In: Epstein, G., Dunn, J.M. (eds.) pp. 7\u201337. Reidel Publishing Company, Dordrecht (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44618-4_14","volume-title":"CONCUR 2000 - Concurrency Theory","author":"G. Bruns","year":"2000","unstructured":"Bruns, G., Godefroid, P.: Generalized Model Checking: Reasoning about Partial State Spaces. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 168\u2013182. Springer, Heidelberg (2000)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45648-1_11","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"R. Miarka","year":"2002","unstructured":"Miarka, R., Derrick, J., Boiten, E.: Handling Inconsistencies in Z Using Quasi-Classical Logic. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 204\u2013225. Springer, Heidelberg (2002)"},{"key":"18_CR14","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Manna, Z., Pnueli, A.: Verification of Concurrent Programs: The Temporal Framework. In: Boyer, R.S., Moore, J.S. (eds.) The Correctness Problem in Computer Science, pp. 215\u2013273. Academic Press, London (1981)"},{"key":"18_CR15","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: Leeuwen, J.V. (ed.) Handbook of Theoretical Computer Science. Elsevier Science Publisher B.V., Amsterdam (1990)"},{"key":"18_CR16","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. Technical Report CSRG-496, University of Toronto (2004)","DOI":"10.1109\/RE.2005.8"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2006: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11611257_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:24Z","timestamp":1619507364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11611257_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311980","9783540322177"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11611257_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}