Error invariants for concurrent traces (Q2281644)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Error invariants for concurrent traces
scientific article

    Statements

    Error invariants for concurrent traces (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    3 January 2020
    0 references

    Identifiers