Linearizability on hardware weak memory models (Q782494): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s00165-019-00499-8 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S00165-019-00499-8 / rank
 
Normal rank

Latest revision as of 03:30, 10 December 2024

scientific article
Language Label Description Also known as
English
Linearizability on hardware weak memory models
scientific article

    Statements

    Linearizability on hardware weak memory models (English)
    0 references
    0 references
    0 references
    0 references
    27 July 2020
    0 references
    linearizability
    0 references
    correctness
    0 references
    concurrent objects
    0 references
    0 references
    0 references

    Identifiers