Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer. A characterization of regular expressions under bisimulation. Journal of the ACM, 54(2):6, 2007. [doi]
@article{BaetenCG07,
title = {A characterization of regular expressions under bisimulation},
author = {Jos C. M. Baeten and Flavio Corradini and Clemens Grabmayer},
year = {2007},
doi = {10.1145/1219092.1219094},
url = {http://doi.acm.org/10.1145/1219092.1219094},
tags = {C++},
researchr = {https://researchr.org/publication/BaetenCG07},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {54},
number = {2},
pages = {6},
}