Jirí Srba. Undecidability of Weak Bisimilarity for PA-Processes. In Masami Ito, Masafumi Toyama, editors, Developments in Language Theory, 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers. Volume 2450 of Lecture Notes in Computer Science, pages 197-208, Springer, 2002. [doi]
Abstract is missing.