DMCA

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

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