3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.FL2012★ 3 cited
Bisimilarity of Pushdown Systems is Nonelementary
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…
cs.DS2011★ 2 cited
On Stabilization in Herman's Algorithm
Stefan Kiefer, Andrzej Murawski, Joël Ouaknine +2
Herman's algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of…