{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:18:03Z","timestamp":1773717483465,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540583295","type":"print"},{"value":"9783540486541","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_4","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"34-47","source":"Crossref","is-referenced-by-count":11,"title":["Regularity of BPA-Systems is Decidable"],"prefix":"10.1007","author":[{"given":"Sjouke","family":"Mauw","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Mulder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_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, Proc. PARLE 87, (J.W. de Bakker, A.J. Nijman, P.C. Treleaven, Eds.), LNCS 259, pp. 93\u2013114, 1987.","DOI":"10.1007\/3-540-17945-3_5"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra & J.W. Klop, Process theory based on bisimulation semantics, Linear time, branching time and partial order in logics and models for concurrency, (J.W. de Bakker, W.P. de Roever, G. Rozenberg, Eds.), LNCS 354, pp. 50\u2013122, 1989.","DOI":"10.1007\/BFb0013021"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"S. Christensen, H. H\u00fcttel & C. Stirling, Bisimulation equivalence is decidable for all context-free processes, Proc. CONCUR\u201992, (W.R. Cleaveland, ed.), LNCS 630, pp. 138\u2013147, 1992.","DOI":"10.1007\/BFb0084788"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"S. Christensen, Y. Hirschfeld & F. Moller, Bisimulation equivalence is decidable for basic parallel processes, Proc. CONCUR\u201993, (E. Best, ed.), LNCS 715, pp. 143\u2013157, 1993.","DOI":"10.1007\/3-540-57208-2_11"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"S. Mauw & G.J. Veltink, A process specification formalism, Fundamenta Informaticw XIII, pp. 85\u2013139, 1990.","DOI":"10.3233\/FI-1990-13202"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S. Mauw & G.J. Veltink, Algebraic specification of communication protocols, Cambridge Tracts in Theoretical Computer Science 36, Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511721625"},{"key":"4_CR8","first-page":"439","volume":"28","author":"R Milner","year":"1984","unstructured":"R. Milner, A complete inference system for a class of regular behaviours, JCSS 28, pp. 439\u2013466, 1984.","journal-title":"Jcss"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"D.M.R. Park, Concurrency and automata on infinite sequences, Proc. 5th GI Conf. (P. Duessen, ed.), LNCS 104, pp. 167\u2013183, 1981.","DOI":"10.1007\/BFb0017309"}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T02:04:01Z","timestamp":1655777041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}