Verifying programs that use causally-ordered message-passing (Q1893537)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Verifying programs that use causally-ordered message-passing
scientific article

    Statements

    Verifying programs that use causally-ordered message-passing (English)
    0 references
    0 references
    0 references
    4 July 1995
    0 references
    Hoare-style proof system
    0 references
    causally-ordered delivery
    0 references

    Identifiers