A criterion for atomicity (Q1192605): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Atomic snapshots of shared memory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Beyond atomic registers: Bounded wait-free implementations of nontrivial objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructing two-writer atomic registers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4144755 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Randomized wait-free concurrent objects (extended abstract) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof of a structured program: 'The sieve of Eratosthenes' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient synchronization of multiprocessors with shared memory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On interprocess communication. I: Basic formalism / rank
 
Normal rank
Property / cites work
 
Property / cites work: The ``Hoare Logic'' of CSP, and All That / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adequate proof principles for invariance and liveness properties of concurrent programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axioms for memory access in asynchronous hardware systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The elusive atomic register / rank
 
Normal rank

Latest revision as of 12:35, 16 May 2024

scientific article
Language Label Description Also known as
English
A criterion for atomicity
scientific article

    Statements

    A criterion for atomicity (English)
    0 references
    0 references
    0 references
    0 references
    27 September 1992
    0 references
    0 references
    0 references
    0 references
    0 references
    atomic registers
    0 references
    composite registers
    0 references
    leader election
    0 references
    models of concurrency
    0 references
    snapshot
    0 references
    waiting
    0 references
    interleaving semantics
    0 references
    atomicity
    0 references
    shared variables
    0 references