{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:39:48Z","timestamp":1769971188504,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540614746","type":"print"},{"value":"9783540685999","type":"electronic"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61474-5_58","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:41:57Z","timestamp":1330274517000},"page":"62-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":75,"title":["Pushdown processes: Games and model checking"],"prefix":"10.1007","author":[{"given":"Igor","family":"Walukiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"J. Bergstra and J. Klop. Process theory based on bisimulation semantics. Volume 354 of LNCS, 1988.","DOI":"10.1007\/BFb0013021"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"O. Burkart and B. Steffen. Model checking for context-free processes. In CONCUR '92, volume 630 of LNCS, pages 123\u2013137, 1992.","DOI":"10.1007\/BFb0084787"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"O. Burkart and B. Steffen. Pushdown processes: Parallel composition and model checking. In CONCUR '94, volume 836 of LNCS, 1994.","DOI":"10.1007\/978-3-540-48654-1_9"},{"issue":"1","key":"6_CR4","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, 1981.","journal-title":"Journal of the ACM"},{"key":"6_CR5","first-page":"156","volume":"51","author":"S. Christiensen","year":"1993","unstructured":"S. Christiensen and H. Huttel. Deciding issues for infinite-state processes-a survey. Bulletin of EATCS, 51:156\u2013166, October 1993.","journal-title":"Bulletin of EATCS"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"E. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state concurrent systems. In A Decade of Concurrency, volume 803 of LNCS, pages 124\u2013175. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-58043-3_19"},{"key":"6_CR7","unstructured":"E. A. Emerson and C. Jutla. Tree automata, mu-calculus and determinacy. In Proc. FOCS 91, 1991."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"E. A. Emerson, C. Jutla, and A. Sistla. On model-checking for fragments of \u03bc-calculus. In CAV'93, volume 697 of LNCS, pages 385\u2013396, 1993.","DOI":"10.1007\/3-540-56922-7_32"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"J. Esparza and A. Kiehn. On the model checking problem for branching time logics and basic parallel processes. In CAV '95, volume 939 of LNCS, pages 353\u2013366, 1995.","DOI":"10.1007\/3-540-60045-0_62"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"N. Klarund. Progress measures, immediate determinacy and a subset construction for tree automata. In IEEE LICS, pages 382\u2013393, 1992.","DOI":"10.7146\/dpb.v21i430.7953"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"H. Lescow. On polynomial-size programs winning finite-state games. In CAV '95, volume 939 of LNCS, pages 239\u2013252, 1995.","DOI":"10.1007\/3-540-60045-0_54"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"D. E. Long, A. Browne, E. M. Clarke, S. Jha, and W. R. Marrero. An improved algorithm for the evaluation of fixpoint expressions. In CAV'94, volume 818 of LNCS, pages 338\u2013350, 1994.","DOI":"10.1007\/3-540-58179-0_66"},{"key":"6_CR13","unstructured":"A. W. Mostowski. Games with forbidden positions. Technical Report 78, University of Gdansk, 1991."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0304-3975(85)90087-8","volume":"37","author":"D. Muller","year":"1985","unstructured":"D. Muller and P. Schupp. The theory of ends, pushdown automata and second-order logic. Theoretical Computer Science, 37:51\u201375, 1985.","journal-title":"Theoretical Computer Science"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","volume":"81","author":"R. S. Street","year":"1989","unstructured":"R. S. Street and E. A. Emerson. An automata theoretic procedure for the propositional mu-calculus. Information and Computation, 81:249\u2013264, 1989.","journal-title":"Information and Computation"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. In STAGS '95, volume 900 of LNCS, pages 1\u201313, 1995.","DOI":"10.1007\/3-540-59042-0_57"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"I. Walukiewicz. Monadic second order logic on tree-like structures. In STAGS '96, LNCS, pages 401\u2013414, 1996.","DOI":"10.1007\/3-540-60922-9_33"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61474-5_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:05:28Z","timestamp":1578517528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61474-5_58"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614746","9783540685999"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61474-5_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}