Bisimulation Equivalence Is Decidable for All Context-Free Processes

• 1 September 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 121  (2) , 143-148
• https://doi.org/10.1006/inco.1995.1129

Abstract

Keywords

• EQUIVALENCE
• DECIDABLE
• BPA
• BISIMULATION
• LANGUAGE
• NORMED
• BISIMILARITY
• CAUCAL
• DECISION PROCEDURE