An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes (1994)
by
Olaf Burkart
,
Didier Caucal
,
Bernhard Steffen
| Citations: | 14 - 2 self |
BibTeX
@MISC{Burkart94anelementary,
author = {Olaf Burkart and Didier Caucal and Bernhard Steffen},
title = {An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an elementary algorithm for deciding bisimulation equivalence between arbitrary context-free processes. This improves on the state of the art algorithm of Christensen, Huttel and Stirling consisting of two semi-decision procedures running in parallel, which prohibits any complexity estimation. The point of our algorithm is the effective construction of a finite relation characterizing all bisimulation equivalence classes, whose mere existence was exploited for the above mentioned decidability result.
