The Role of Auxiliary Variables in the Formal Development of Concurrent Programs (Q3163402)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
scientific article

    Statements

    The Role of Auxiliary Variables in the Formal Development of Concurrent Programs (English)
    0 references
    26 October 2010
    0 references
    compositionality
    0 references

    Identifiers