An omega-complete Equational Specification of Interleaving
| Authors |
|
|---|---|
| Publication date | 2000 |
| Series | Report SEN, R0012 |
| Publisher | Amsterdam: CWI |
| Organisations |
|
| Document type | Report |
| Language | English |
| Permalink to this page | |