Concurrent Kleene algebra and its foundations (Q549679)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Concurrent Kleene algebra and its foundations
scientific article

    Statements

    Concurrent Kleene algebra and its foundations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    18 July 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    concurrency
    0 references
    dependence
    0 references
    Kleene algebra
    0 references
    Hoare calculus
    0 references
    rely/guarantee calculus
    0 references
    0 references
    0 references
    0 references
    0 references