Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.

Jos C. M. Baeten, Cesare Carissimo, Bas Luttik

Browse the full CALCO paper archive.