TY  - RPRT
TI  - Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
AU  - Jos C. M. Baeten
AU  - Bas Luttik
AU  - Tim Muller
AU  - Paul van Tilburg
PY  - 2010
DO  - 10.1017/s0960129514000309
UR  - https://arxiv.org/abs/1011.6429
ID  - 1011.6429
ER  -