CCS with Hennessy's merge has no finite-equational axiomatization
Publikation: Forskning - peer review › Tidsskriftartikel
Udgivelsesdato: FEB 9
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Theoretical Computer Science |
| Udgivelsesdato | 2005 |
| Vol/bind | 330 |
| Tidsskriftsnummer | 9 |
| Sider | 377-405 |
| ISSN | 0304-3975 |
| Status | Udgivet |
ID: 34588