Automated analysis of mutual exclusion algorithms using CCS (Q911263)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated analysis of mutual exclusion algorithms using CCS
scientific article

    Statements

    Automated analysis of mutual exclusion algorithms using CCS (English)
    0 references
    0 references
    1989
    0 references
    0 references
    concurrency workbench
    0 references
    mutual exclusion algorithms
    0 references
    Calculus of Communicating Systems
    0 references
    0 references
    0 references