{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214464,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664086"},{"type":"electronic","value":"9783540483403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48340-3_33","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:04:52Z","timestamp":1184605492000},"page":"366-375","source":"Crossref","is-referenced-by-count":2,"title":["Approximating Weak Bisimulation on Basic Process Algebras"],"prefix":"10.1007","author":[{"given":"Jitka","family":"St\u0159\u00edbrn\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of PARLE\u201987","author":"J.C.M. Baeten","year":"1987","unstructured":"Baeten J.C.M., Bergstra J.A. and Klop J.W.: Decidability of bisimulation equivalence for processes generating context-free languages. In Proceedings of PARLE\u201987, LNCS 259, 1987."},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Burkart O., Caucal D and Steffen B.: An elementary bisimulation decision procedure for arbitrary context-free processes. In Aachener Informatik-Berichte 94\u201328, 1994.","DOI":"10.1007\/3-540-60246-1_148"},{"key":"33_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0084788","volume-title":"Proceedings of CONCUR 92","author":"S. Christensen","year":"1992","unstructured":"Christensen S., H\u00fcttel H. and Stirling C: Bisimulation equivalence is decidable for all context-free processes. In Proceedings of CONCUR 92, LNCS 630, 138\u2013147, 1992."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Hirshfeld Y.: Bisimulation Trees and the Decidability of Weak Bisimulation. In Proceedings of INFINITY\u201996, Steffen B., Caucal D. (Eds.), ENTCS 5, 1996.","DOI":"10.1016\/S1571-0661(05)80674-7"},{"key":"33_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02308-2","volume-title":"Basic Set Theory","author":"A. Levy","year":"1979","unstructured":"Levy A.: Basic Set Theory. Springer-Verlag, Berlin, 1979."},{"key":"33_CR6","unstructured":"Milner R.: Communication and Concurrency. Prentice-Hall, 1989."},{"key":"33_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12898-5","volume-title":"Recursion-Theoretic Hierarchies","author":"P.G. Hinman","year":"1978","unstructured":"Hinman P.G.: Recursion-Theoretic Hierarchies. Springer-Verlag, Berlin Heidelberg New York, 1978."},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"S\u00e9nizergues G.: Decidability of bisimulation equivalence for equational graphs of finite out-degree. In Proceedings of FOCS\u201998, IEEE, 120\u2013129, 1998.","DOI":"10.1109\/SFCS.1998.743435"},{"key":"33_CR9","unstructured":"St\u0159\u00edbrn\u00e1 J.: Decidability and Complexity of Equivalences for Simple Process Algebras. Ph.D. thesis, University of Edinburgh, 1998."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48340-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:14:18Z","timestamp":1737288858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48340-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664086","9783540483403"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-48340-3_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}