{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:51:22Z","timestamp":1778298682138,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433668","type":"print"},{"value":"9783540459316","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45931-6_18","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T04:53:52Z","timestamp":1181364832000},"page":"250-263","source":"Crossref","is-referenced-by-count":11,"title":["Model Checking Fixed Point Logic with Chop"],"prefix":"10.1007","author":[{"given":"Martin","family":"Lange","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Stirling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A. K. Chandra","year":"1981","unstructured":"A. K. Chandra, D. C. Kozen, and L. J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114\u2013133, January 1981.","journal-title":"Journal of the ACM"},{"key":"18_CR2","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E. A. Emerson","year":"1990","unstructured":"E. A. Emerson. Temporaland modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 14, pages 996\u20131072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, New York, N.Y., 1990."},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0020-0190(87)90097-4","volume":"24","author":"E. A. Emerson","year":"1987","unstructured":"E. Allen Emerson. Uniform inevitability is tree automaton inefiable. Information Processing Letters, 24(2):77\u201379, January 1987.","journal-title":"Information Processing Letters"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"R. Gor\u00e9. Tableau methods for modaland temporal logics. In M. D\u2019Agostino, D. Gabbay, R. H\u00e4hnle, and J. Posegga, editors, Handbook of Tableau Methods. Kluwer, Dordrecht, 1999.","DOI":"10.1007\/978-94-017-1754-0_6"},{"issue":"2","key":"18_CR5","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1006\/inco.1994.1101","volume":"115","author":"J. F. Groote","year":"1994","unstructured":"J. F. Groote and H. H\u00fcttel. Undecidable equivalences for basic process algebra. Information and Computation, 115(2):354\u2013371, December 1994.","journal-title":"Information and Computation"},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-61604-7_60","volume-title":"CONCUR\u2019 96: Concurrency Theory, 7th Int. Conf.","author":"D. Janin","year":"1996","unstructured":"D. Janin and I. Walukiewicz. On the expressive completeness of the propositional \u03bc-calculus with respect to monadic second order logic. In U. Montanari and V. Sassone, editors, CONCUR\u2019 96: Concurrency Theory, 7th Int. Conf., volume 1119 of LNCS, pages 263\u2013277, Pisa, Italy, 26\u201329 August 1996. Springer."},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen. Results on the propositional mu-calculus. TCS, 27:333\u2013354, December 1983.","journal-title":"TCS"},{"key":"18_CR8","first-page":"1","volume-title":"ACM Symp. on Theory of Computing (STOC\u2019 73)","author":"A. R. Meyer","year":"1973","unstructured":"A. R. Meyer and L. J. Stockmeyer. Word problems requiring exponential time. In ACM Symp. on Theory of Computing (STOC\u2019 73), pages 1\u20139, New York, April 1973. ACM Press."},{"key":"18_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/3-540-49116-3_48","volume-title":"Proc. 16th Annual Symp. on Theoretical Aspects of Computer Science, STACS\u201999","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M. M\u00fcller-Olm. A modal fixpoint logic with chop. In C. Meinel and S. Tison, editors, Proc. 16th Annual Symp. on Theoretical Aspects of Computer Science, STACS\u201999, volume 1563 of LNCS, pages 510\u2013520, Trier, Germany, 1999. Springer."},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1093\/oso\/9780198537618.003.0005","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1992","unstructured":"C. Stirling. Modaland temporal logics. In Handbook of Logic in Computer Science, volume 2 (Background: Computational Structures), pages 477\u2013563. Clarendon Press, Oxford, 1992."},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice-theoretical fixpoint theorem and its application. Pacific J.Math., 5:285\u2013309, 1955.","journal-title":"Pacific J.Math."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45931-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T00:22:40Z","timestamp":1707956560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45931-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433668","9783540459316"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45931-6_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}