Algebras of modal operators and partial correctness (Q820135)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebras of modal operators and partial correctness
scientific article

    Statements

    Algebras of modal operators and partial correctness (English)
    0 references
    0 references
    0 references
    6 April 2006
    0 references
    semirings
    0 references
    Kleene algebra
    0 references
    modal operators
    0 references
    partial correctness
    0 references
    Hoare logic
    0 references

    Identifiers