@inproceedings{BLMT10,
  author        = {J. Baeten and B. Luttik and T. Muller and P. van Tilburg},
  title         = {Regular Expressions with Parallel Composition modulo Bisimilarity},
  booktitle     = {Proc.\ 17th International Workshop on Expressiveness in Concurrency},
  series        = {Electronic Proceedings in Theoretical Computer Science},
  year          = {2010},
  volume        = {41},
  pages         = {1--15},
  ee            = {http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?EXPRESS10.1}
}