Original language | English |
---|---|
Title of host publication | Preliminary proceedings of 2nd International Workshop on Models for Time-Critical Systems, MTCS '01 |
Publication date | 2001 |
Pages | 87-99 |
Publication status | Published - 2001 |
Towards a Process Algebra for Shared Processors
Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen, Flavio Corradini al. al. (Editor)
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review