@misc{indiciae5e2e3a52e9e8,
  title = {Pushdown Automata and Context-Free Grammars in Bisimulation Semantics},
  author = {Jos C. M. Baeten and Cesare Carissimo and Bas Luttik},
  year = {2023},
  doi = {10.46298/lmcs-19(1:15)2023},
  url = {https://arxiv.org/abs/2203.01713},
  note = {Source identifier: 2203.01713}
}