Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
- Jos C.M. Baeten
- , Cesare Carissimo
- , Bas Luttik
Research output: Contribution to journal › Article › Academic › peer-review
5
Link opens in a new tab
Citations
(SciVal)
78
Downloads
(Pure)