TY - RPRT TI - Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) AU - Jos C. M. Baeten AU - Bas Luttik PY - 2023 DO - 10.4204/eptcs.387.9 UR - https://arxiv.org/abs/2309.07308 ID - 2309.07308 ER -