{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:05Z","timestamp":1725663725621},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552512"},{"type":"electronic","value":"9783540467991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55251-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:55:56Z","timestamp":1330250156000},"page":"248-264","source":"Crossref","is-referenced-by-count":0,"title":["Empty stack Pushdown \u03c9-tree automata"],"prefix":"10.1007","author":[{"given":"Wuxu","family":"Peng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Purushothaman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten, J. A. Bergstra, J. W. Klop. Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. In LNCS 259, pp: 93\u2013114. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_5"},{"key":"14_CR2","unstructured":"J. Bradfield and C. Stirling, Local Model Checking for Infinite State Spaces. To appear in Theoretical Comp. Sci."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, E. A. Emerson, A. P. Sistla, Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications: a Practical Approach. Proc. of the 10th ACM Symp. on Principles of Prog. Lang., 1983, pp.117\u2013126.","DOI":"10.1145\/567067.567080"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1007\/BF00264284","volume":"27","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland, Tableau-Based Model Checking in the Prepositional Mu-Calculus. Acta Informatica, Vol.27, 1990, pp.725\u2013747.","journal-title":"Acta Informatica"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0022-0000(77)80004-4","volume":"15","author":"R. S. Cohen","year":"1977","unstructured":"R. S. Cohen and A. Y. Gold, Theory of \u03c9-Languages I: Characterizations of \u03c9-Context-Free Languages. J. of Comp. and Sys. Sci., Vol. 15, 1977, pp.169\u2013184.","journal-title":"J. of Comp. and Sys. Sci."},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01744582","volume":"16","author":"I. Guessarian","year":"1983","unstructured":"I. Guessarian, Pushdown Tree Automata. Math. Sys. Theory, Vol. 16, 1983, pp.237\u2013263.","journal-title":"Math. Sys. Theory"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel and D. Raz, Deciding Properties of Nonregular Programs. IEEE 31st Symp. on Found. of Comp. Sci., 1990, pp.652\u2013661.","DOI":"10.1109\/FSCS.1990.89587"},{"key":"14_CR8","unstructured":"H. H\u00fcttel and C. Stirling, Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. Report ECS-LFCS-91-145, Dept. of Comp. Sci., Univ. of Edinburgh, April 1991. Also in Proc. of 6th Symp. on Logic in Comp. Sci., 1991."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/S0019-9958(76)90415-0","volume":"31","author":"M. Linna","year":"1976","unstructured":"M. Linna, On \u03c9-Sets Associated with Context-Free Languages. Information and Control, Vol. 31, 1976, pp.272\u2013293.","journal-title":"Information and Control"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0022-0000(78)90012-0","volume":"17","author":"T. S. E. E. Maibaum","year":"1978","unstructured":"T. S. E. Maibaum, Pumping Lemmas for Term Languages. J. of Comp. and Sys. Sci., Vol. 17, 1978, pp.319\u2013330.","journal-title":"J. of Comp. and Sys. Sci."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"A. Saoudi, Pushdown Automata on Infinite Trees and Omega-Kleene Closure of Context-Free Tree Sets. Proc. of Math. Found. of Comp. Sci., LNCS 379, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_91"},{"issue":"9","key":"14_CR12","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1002\/scj.4690170904","volume":"17","author":"S. Tanaka","year":"1986","unstructured":"S. Tanaka and T. Kasai, The Emptiness Problem for Indexed Language is Exponential-Time Complete. Sys. and Comp. in Japan, Vol. 17(9), 1986, pp.29\u201337.","journal-title":"Sys. and Comp. in Japan"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on Infinite Objects. In Handbook of Theoretical Computer Science, Vol B. (ed) J. van Leeuwen, pp:133\u2013192, MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M. Y. Vardi","year":"1986","unstructured":"M. Y. Vardi and P. Wolper, Automata-Theoretic Techniques for Modal Logics of Programs. J. of Comp. and Sys. Sci., Vol. 32, 1986, pp.183\u2013221.","journal-title":"J. of Comp. and Sys. Sci."},{"key":"14_CR15","unstructured":"M. Y. Vardi and P. Wolper, An Automata-Theoretic Approach to Automatic Program Verification. Proc. of 1st Symp. on Logic in Comp. Sci., 1986, pp.332\u2013344."}],"container-title":["Lecture Notes in Computer Science","CAAP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55251-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:19Z","timestamp":1605646699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55251-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552512","9783540467991"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-55251-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}