Browse by Person
Up a level |
Number of items: 3.
2003
Chen, Hubie and Pucella, R. (2003) A coalgebraic approach to Kleene algebra with tests. Electronic Notes in Theoretical Computer Science 82 (1), pp. 94-109. ISSN 1571-0661.
2004
Chen, Hubie and Pucella, R. (2004) A coalgebraic approach to Kleene algebra with tests. Theoretical Computer Science 327 (1-2), pp. 23-44. ISSN 0304-3975.
Chen, Hubie and Pucella, R. (2004) A coalgebraic approach to Kleene algebra with tests. CoRR ,