On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904)

From MaRDI portal
Revision as of 03:14, 18 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the relation between concurrent separation logic and concurrent Kleene algebra
scientific article

    Statements

    title
    On the relation between concurrent separation logic and concurrent Kleene algebra (English)
    0 references
    author
    Peter W. O'Hearn
    0 references
    Rasmus L. Petersen
    0 references
    Jules Villard
    0 references
    Akbar Hussain
    0 references
    publication date
    10 June 2015
    0 references
    zbMATH Keywords
    compositionality
    0 references
    concurrency
    0 references
    separation logic
    0 references
    Kleene algebra
    0 references
    cites work
    Refinement Calculus
    0 references
    Q4124990
    0 references
    Views
    0 references
    Laws of programming
    0 references
    In praise of algebra
    0 references
    Q4362921
    0 references
    Q4738240
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B70
    0 references
    03G25
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6444504
    0 references
    Wikidata QID
    Q114851606
    0 references
    OpenAlex ID
    W2010194199
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2347904&oldid=39025308"
    Powered by MediaWiki