A Characterization of Regular Expressions under Bisimulation.
| Autor: | Baeten, J. C. M.1 josb@win.tue.nl, Corradini, F.2, Grabmayer, C. A.3 |
|---|---|
| Zdroj: | Journal of the ACM. Apr2007, Vol. 54 Issue 2, p1-28. 28p. 3 Charts. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|