Predicate transformers for reasoning about concurrent computation (Q1893538)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Predicate transformers for reasoning about concurrent computation
scientific article

    Statements

    Predicate transformers for reasoning about concurrent computation (English)
    0 references
    0 references
    0 references
    25 July 1995
    0 references

    Identifiers