Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity (Q2802440)

From MaRDI portal
Revision as of 09:27, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
scientific article

    Statements

    title
    Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity (English)
    0 references
    author
    Ilya Sergey
    0 references
    Aleksandar Nanevski
    0 references
    Anindya Banerjee
    0 references
    publication date
    26 April 2016
    0 references

    Identifiers

    zbMATH DE Number
    6573708
    0 references
    OpenAlex ID
    W1533529458
    0 references
    arXiv ID
    1410.0306
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2802440&oldid=33552335"
    Powered by MediaWiki