Towards a Process Algebra for Shared Processors |
|
| Type | Conference paper [With referee] |
| Conference | Preliminary proceedings of 2nd International Workshop on Models for Time-Critical Systems, MTCS '01 |
| Editors | Corradini, Flavio and Vogler, Walter |
| Year | 2001 pp. 87-99 |
| Series | BRICS Notes Series NS-01-5 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |