{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:48:30Z","timestamp":1725468510716},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055788","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:36:31Z","timestamp":1155821791000},"page":"388-398","source":"Crossref","is-referenced-by-count":1,"title":["Deadlocking states in context-free process algebra"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"35_CR1","first-page":"423","volume":"969","author":"O. Burkart","year":"1995","unstructured":"O. Burkart, D. Caucal, and B. Steffen. An elementary decision procedure for arbitrary context-free processes. In Proceedings of MFCS'95, volume 969 of LNCS, pages 423\u2013433, 1995.","journal-title":"LNCS"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"O. Burkart, D. Caucal, and B. Steffen. Bisimulation collapse and the process taxonomy. In Proceedings of CONCUR '96 [Con96], pages 247\u2013262.","DOI":"10.1007\/3-540-61604-7_59"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77\u2013121, 1985.","journal-title":"Theoretical Computer Science"},{"key":"35_CR4","unstructured":"D. Bosscher. Grammars Modulo Bisimulation. PhD thesis, CWI, University of Amsterdam, 1997."},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/inco.1995.1129","volume":"121","author":"S. Christensen","year":"1995","unstructured":"S. Christensen, H. H\u00fcttel, and C. Stirling. Bisimulation equivalence is decidable for all context-free processes. Information and Computation, 121:143\u2013148, 1995.","journal-title":"Information and Computation"},{"key":"35_CR6","unstructured":"Proceedings of CONCUR'96, volume 1119 of LNCS. Springer-Verlag, 1996."},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Y. Hirshfeld and F. Moller. Decidability results in automata and process theory. In Logics for Concurrency: Automata vs Structure, volume 1043 of LNCS, pages 102-148. Faron Moller and Graham Birtwistle, 1996.","DOI":"10.1007\/3-540-60915-6_4"},{"key":"35_CR8","unstructured":"H. H\u00fcttel. Decidability, Behavioural Equivalences and Infinite Transition Graphs. PhD thesis, The University of Edinburgh, 1991."},{"key":"35_CR9","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"F. Moller. Infinite results. In Proceedings of CONCUR'96 [Con96], pages. 195\u2013216.","DOI":"10.1007\/3-540-61604-7_56"},{"key":"35_CR11","unstructured":"Ji\u0159\u00ed Srba. Comparing the classes BPA and BPA with deadlocks. Technical Report FIMU-RS-98-05, Faculty of Informatics, Masaryk University, 1998."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T14:44:35Z","timestamp":1555771475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0055788","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}