@Article{         BenediktGollerKieferMurawski,
  Author        = {Benedikt, Michael and G{\"o}ller, Stefan and Kiefer, Stefan and Murawski, Andrzej S.},
  Abstract      = "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, improving EXPTIME-hardness, which was the previously best known lower bound for this problem. Our lower bound result holds for normed pushdown systems as well.",
  date-added    = "2012-11-19 13:53:31 +0000",
  date-modified = "2012-11-19 13:53:31 +0000",
  EPrint        = "1210.7686",
  Month         = "10",
  Title         = "Bisimilarity of Pushdown Systems is Nonelementary",
  URL           = "http://arxiv.org/abs/1210.7686",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1210.7686",
  File          = "Bisimilarity of Pushdown Systems is Nonelementary - Benedikt, Göller, Kiefer, Murawski (0) (0) - a - a - h.pdf"
}

@Article{ BenediktGollerKieferMurawski, Author = {Benedikt, Michael and G{\"o}ller, Stefan and Kiefer, Stefan and Murawski, Andrzej S.}, Abstract = "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, improving EXPTIME-hardness, which was the previously best known lower bound for this problem. Our lower bound result holds for normed pushdown systems as well.", date-added = "2012-11-19 13:53:31 +0000", date-modified = "2012-11-19 13:53:31 +0000", EPrint = "1210.7686", Month = "10", Title = "Bisimilarity of Pushdown Systems is Nonelementary", URL = "http://arxiv.org/abs/1210.7686", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1210.7686", File = "Bisimilarity of Pushdown Systems is Nonelementary - Benedikt, Göller, Kiefer, Murawski (0) (0) - a - a - h.pdf" }