3 citations · 3 across the 1 of their papers we have counts for
1 paper
Michael Benedikt, Stefan Göller, Stefan Kiefer +1
Given two pushdown systems, the bisimilarity problem asks whether they are bisimilar. While this problem is known to be decidable our main result states that it is nonelementary, i…