Luttik, B. A., Baeten, J. C., Muller, T. I., & Van Tilburg, P. (2010, August). Expressiveness modulo bisimilarity of regular expressions with parallel composition. Presented at 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), Paris, France