Trace-based derivation of a scalable lock-free stack algorithm (Q1019022): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00165-008-0092-5 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00165-008-0092-5 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1996684662 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Distributed cooperation with action systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Encoding, decoding and data refinement / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relational concurrent refinement / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Techniques for Networked and Distributed Systems – FORTE 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A refinement calculus for shared-variable parallel and distributed programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data Refinement / rank
 
Normal rank
Property / cites work
 
Property / cites work: Atomizer: A dynamic atomicity checker for multithreaded programs / 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: A scalable lock-free stack algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Forward and backward simulations. I. Untimed Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3126969 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data refinement by calculation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Practical implementations of non-blocking synchronization primitives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4301161 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4278674 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995087 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Rely-Guarantee method for verifying shared variable concurrent programs / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00165-008-0092-5 / rank
 
Normal rank

Latest revision as of 13:11, 10 December 2024

scientific article
Language Label Description Also known as
English
Trace-based derivation of a scalable lock-free stack algorithm
scientific article

    Statements

    Trace-based derivation of a scalable lock-free stack algorithm (English)
    0 references
    0 references
    0 references
    27 May 2009
    0 references
    elimination process
    0 references
    elimination algorithm
    0 references
    Lipton's reduction method
    0 references
    0 references
    0 references
    0 references

    Identifiers