{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:23Z","timestamp":1725664583406},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614401"},{"type":"electronic","value":"9783540685807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61440-0_127","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:37:36Z","timestamp":1330292256000},"page":"182-193","source":"Crossref","is-referenced-by-count":2,"title":["Regularity for a large class of context-free processes is decidable"],"prefix":"10.1007","author":[{"given":"D. J. B.","family":"Bosscher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. O. D.","family":"Griffioen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"1\/2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(87)90052-1","volume":"51","author":"J. C. M. Baeten","year":"1987","unstructured":"J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science, 51(1\/2):129\u2013176, 1987.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"15_CR2","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1145\/174130.174141","volume":"40","author":"J. C. M. Baeten","year":"1993","unstructured":"J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. Decidability of Bisimulation Equivalence for Processes generating Context-free Languages. Journal of the ACM, 40(3):653\u2013682, 1993.","journal-title":"Journal of the ACM"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"O. Burkart, D. Caucal, and B. Steffen. An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. In MFCS '95, volume 969 of Lecture Notes in Computer Science, pages 423\u2013433. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60246-1_148"},{"key":"15_CR4","unstructured":"Y. Bar-Hillel. Language and Information. Series in Logic. Addison-Wesley, 1964."},{"key":"15_CR5","unstructured":"D.J.B. Bosscher and A. Ponse. Translating a Process Algebra with Symbolic Data Values to Linear Format. In Uffe H. Engberg, Kim G. Larsen, and Arne Skou, editors, Proceedings of the Workshop on Tools and Algorithms for the Construction and the Analysis of Systems, volume NS-95-2 of BRICS Notes Series, pages 119\u2013130, 1995."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"S. Christensen, H. H\u00fcttel, and C. Stirling. Bisimulation is Decidable for all Context-free Processes. In W.R. Cleaveland, editor, Proceedings of CONCUR 92, volume 630 of Lecture Notes in Computer Science, pages 138\u2013147. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084788"},{"key":"15_CR8","series-title":"volume 53 of CSLI Lecture Notes","first-page":"151","volume-title":"Modal Logic and Process Algebra","author":"Y. Hirshfeld","year":"1995","unstructured":"Y. Hirshfeld and F. Moller. Deciding Equivalences in Simple Process Algebras. In A. Ponse, M. de Rijke, and Y. Venema, editors, Modal Logic and Process Algebra, volume 53 of CSLI Lecture Notes, pages 151\u2013169. CSLI Publications, Stanford, 1995."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Y. Hirshfeld and F. Moller. Decidability Results in Automata and Process Theory. In Logics for Concurrency: Automata vs Structure, Springer Lecture Notes in Computer Science, 1996. To appear. Previously presented as lecture notes at the VIII-th Banff Higher Order Workshop \u201cTheories of Concurrency: Structure vs Automata \u201d in 1994.","DOI":"10.1007\/3-540-60915-6_4"},{"key":"15_CR10","unstructured":"Uno Holmer. Translating Static CCS Agents into Regular Form. PMG report 51, Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 1989."},{"key":"15_CR11","unstructured":"J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"A. Kru\u010dera. Deciding Regularity in Process Algebras. Technical Report RS-95-52, BRICS (Basic Research in Computer Science, Centre of the Danish National Research Foundation), 1995.","DOI":"10.7146\/brics.v2i52.19953"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"S. Mauw and H. Mulder. Regularity of BPA-Systems is Decidable. In Bengt Jonsson and Joachim Parrow, editors, CONCUR'94: Concurrency Theory, volume 836 of Lecture Notes in Computer Science, pages 34\u201347. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_4"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"E. L. Post","year":"1946","unstructured":"E. L. Post. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, 52:264\u2013268, 1946.","journal-title":"Bulletin of the American Mathematical Society"}],"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-61440-0_127.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:12Z","timestamp":1605647172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61440-0_127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614401","9783540685807"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61440-0_127","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}