A characterization of regular expressions under bisimulation
Baeten, J. C. M.; Corradini, F.; Grabmayer, C. A.
- 期刊名称Journal of the ACM
- 作者Baeten, J. C. M.; Corradini, F.; Grabmayer, C. A.
- 卷第54卷
- 期第2期
- 印刷ISSN0004-5411
- 文件大小198.38KB
- 发表时间2007-04-01
- DOI10.1145/1219092.1219094