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 proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationPreliminary proceedings of 2nd International Workshop on Models for Time-Critical Systems, MTCS '01
    Publication date2001
    Pages87-99
    Publication statusPublished - 2001

    Cite this