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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00165-019-00499-8 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00165-019-00499-8 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2989289194 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q126807837 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The existence of refinement mappings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Checking and Enforcing Robustness against TSO / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concurrent Library Correctness on the TSO Memory Model / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding Robustness against Total Store Ordering / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematizing C++ concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: A wide-spectrum language for verification of programs on weak memory models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Making Linearizability Compositional for Partially Ordered Executions / rank
 
Normal rank
Property / cites work
 
Property / cites work: On abstraction and compositionality for weak-memory linearisability / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Framework for Correctness Criteria on Weak Memory Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning Algebraically About Refinement on TSO Architectures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstraction for concurrent objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Show No Weakness: Sequentially Consistent Specifications of TSO Libraries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Liveness-Preserving Atomicity Abstraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relating trace refinement and linearizability / 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