{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:07Z","timestamp":1725663607804},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569398"},{"type":"electronic","value":"9783540478263"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_105","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:56:31Z","timestamp":1330257391000},"page":"593-605","source":"Crossref","is-referenced-by-count":3,"title":["Local model checking for context-free processes"],"prefix":"10.1007","author":[{"given":"Hardi","family":"Hungar","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"49_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-55253-7_1","volume":"582","author":"H. Andersen","year":"1992","unstructured":"Andersen, H., Model checking on boolean graphs. ESOP '92, LNCS 582 (1992), 1\u201319.","journal-title":"ESOP '92, LNCS"},{"key":"49_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6819-9","volume-title":"Verifying temporal properties of systems","author":"J. C. Bradfield","year":"1992","unstructured":"Bradfield, J.C., Verifying temporal properties of systems. Birkh\u00e4user, Boston (1992)."},{"key":"49_CR3","first-page":"115","volume":"458","author":"J. C. Bradfield","year":"1990","unstructured":"Bradfield, J.C., and Stirling, C. P., Verifying temporal properties of processes. Proc. CONCUR '90, LNCS 458 (1990), 115\u2013125.","journal-title":"Proc. CONCUR '90, LNCS"},{"key":"49_CR4","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BFb0084787","volume":"630","author":"O. Burkart","year":"1992","unstructured":"Burkart, O., and Steffen, B., Model checking for context-free processes. CONCUR '92, LNCS 630 (1992), 123\u2013137.","journal-title":"CONCUR '92, LNCS"},{"key":"49_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., and Sistla, A.P., Automatic verification of finite state concurrent systems using temporal logic specifications. ACM TOPLAS 8 (1986), 244\u2013263.","journal-title":"ACM TOPLAS"},{"key":"49_CR6","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1007\/BF00264284","volume":"27","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R., Tableau-based model checking in the prepositional mu-calculus. Acta Inf. 27 (1990), 725\u2013747.","journal-title":"Acta Inf."},{"key":"49_CR7","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-52148-8_3","volume":"407","author":"R. Cleaveland","year":"1989","unstructured":"Cleaveland, R., Parrow, J., and Steffen, B., The concurrency workbench. Workshop Automatic Verification Methods for Finite-State Systems, LNCS 407 (1989), 24\u201337.","journal-title":"Workshop Automatic Verification Methods for Finite-State Systems, LNCS"},{"key":"49_CR8","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., and Steffen, B., Computing behavioral relations, logically. ICALP '91, LNCS 510 (1991).","DOI":"10.1007\/3-540-54233-7_129"},{"key":"49_CR9","first-page":"48","volume":"575","author":"R. Cleaveland","year":"1992","unstructured":"Cleaveland, R., and Steffen, B., A linear-time model-checking algorithm for the alternation-free modal mu-calculus. CAV 91, LNCS 575 (1992), 48\u201358.","journal-title":"CAV 91, LNCS"},{"key":"49_CR10","unstructured":"Emerson, E.A., and Lei, C.-L., Efficient model checking in fragments of the prepositional mu-calculus. 1st LiCS (1986), 267\u2013278."},{"key":"49_CR11","unstructured":"Huynh, D.T., and Tian, L., Deciding bisimilarity of normed context-free processes is in \u03c3 2 p . Tech. Rep. UTDCS-1-92, Univ. Texas Dallas (1992)."},{"key":"49_CR12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D., Results on the prepositional \u039c-calculus. TCS 27 (1983), 333\u2013354.","journal-title":"TCS"},{"key":"49_CR13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0304-3975(90)90038-J","volume":"72","author":"K. G. Larsen","year":"1990","unstructured":"Larsen, K. G., Proof systems for satisfiability in Hennessy-Milner logic with recursion. TCS 72 (1990), 265\u2013288.","journal-title":"TCS"},{"key":"49_CR14","unstructured":"Larsen, K.G., Efficient local correctness checking. CAV '92."},{"key":"49_CR15","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-50939-9_144","volume":"351","author":"C. P. Stirling","year":"1989","unstructured":"Stirling, C. P., and Walker, D. J., Local model checking in the modal mu-calculus. TAPSOFT '89, LNCS 351 (1989), 369\u2013383.","journal-title":"TAPSOFT '89, LNCS"},{"key":"49_CR16","first-page":"761","volume":"372","author":"G. Winskel","year":"1989","unstructured":"Winskel, G., A note on model checking the modal mu-calculus. ICALP '89, LNCS 372 (1989), 761\u2013772.","journal-title":"ICALP '89, LNCS"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_105.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:23Z","timestamp":1605647243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_105","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}