Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389)

From MaRDI portal
scientific article; zbMATH DE number 6664922
Language Label Description Also known as
English
Steps in modular specifications for concurrent modules (invited tutorial paper)
scientific article; zbMATH DE number 6664922

    Statements

    Steps in modular specifications for concurrent modules (invited tutorial paper) (English)
    0 references
    0 references
    0 references
    0 references
    16 December 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    concurrency
    0 references
    specification
    0 references
    program verification
    0 references
    0 references