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