Bisimulation Equivalence is Decidable for all Context-Free Processes (1995)

Cached

Download Links

by Søren Christensen , Hans Hüttel , Colin Stirling
Venue:Information and Computation
Citations:92 - 15 self

Document Versions

Bisimulation Equivalence is Decidable for all Context-Free Processes –Søren Christensen, Hans Hüttel, Colin Stirling — 1995 — Information and Computation