. "632050" . . "Netherlands" . "Undecidability of Weak Bisimilarity for PA-Processes" . "2002-01-01+01:00"^^ . "Undecidability of Weak Bisimilarity for PA-Processes"@en . . . "Undecidability of Weak Bisimilarity for PA-Processes"@cs . "We prove that the problem whether two PA-processes are weakly bisimilar is undecidable. We combine several proof techniques to provide a reduction from Post's correspondence problem to our problem: existential quantification technique, masking technique and deadlock elimination technique."@cs . "[1085C281DAD1]" . "RIV/00216224:14330/03:00008469" . "Undecidability of Weak Bisimilarity for PA-Processes" . "1"^^ . . "We prove that the problem whether two PA-processes are weakly bisimilar is undecidable. We combine several proof techniques to provide a reduction from Post's correspondence problem to our problem: existential quantification technique, masking technique and deadlock elimination technique."@en . . "Springer-Verlag" . . . . . "Undecidability of Weak Bisimilarity for PA-Processes"@cs . "1"^^ . . "Kyoto, Japan" . "Proceedings of 6th International Conference on Developments in Language Theory (DLT'02)," . "Srba, Ji\u0159\u00ED" . "We prove that the problem whether two PA-processes are weakly bisimilar is undecidable. We combine several proof techniques to provide a reduction from Post's correspondence problem to our problem: existential quantification technique, masking technique and deadlock elimination technique." . . . "12"^^ . . "RIV/00216224:14330/03:00008469!RIV08-MSM-14330___" . . "P(GA201/03/1161), Z(MSM 143300001)" . . . "Undecidability of Weak Bisimilarity for PA-Processes"@en . "14330" . "197-208" . . "weak bisimilarity; undecidability; PA-processes"@en .