Formal Verification of a Practical Lock-Free Queue Algorithm
Authors:
- 1 January 2004
- book chapter
- Published by Springer Nature
- p. 97-114
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory MultiprocessorsJournal of Parallel and Distributed Computing, 1998
- Practical implementations of non-blocking synchronization primitives1997
- Forward and Backward SimulationsInformation and Computation, 1995
- Linearizability: a correctness condition for concurrent objectsACM Transactions on Programming Languages and Systems, 1990