A finite equational base for CCS with left merge and communication merge
Publikation: Forskning - peer review › Konferenceartikel i proceeding
| Originalsprog | Engelsk |
|---|---|
| Titel | Automata, Languages and Programming, Pt 2 |
| Udgivelsesdato | 2006 |
| Sider | 492-503 |
| Status | Udgivet |
Konference
| Konference | A finite equational base for CCS with left merge and communication merge |
|---|---|
| Periode | 19-05-10 → … |
Bibliografisk note
Serie: Lecture Notes in Computer Science, 4052, 0302-9743
ID: 9758177