3 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
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…