Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
36
views
7
references
Top references
cited by
16
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,498
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
A Lazy Concurrent List-Based Set Algorithm
other
Author(s):
Steve Heller
,
Maurice Herlihy
,
Victor Luchangco
,
Mark Moir
,
William N. Scherer
,
Nir Shavit
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
7
Record
: found
Abstract
: not found
Article
: not found
Linearizability: a correctness condition for concurrent objects
Maurice P. Herlihy
,
Jeannette Wing
(1990)
0
comments
Cited
273
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Wait-free synchronization
Maurice Herlihy
(1991)
0
comments
Cited
125
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Pragmatic Implementation of Non-blocking Linked-lists
Timothy Harris
(2001)
0
comments
Cited
32
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 3-16
DOI:
10.1007/11795490_3
SO-VID:
2ea4e948-4285-4706-b843-016903298a81
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
A Lazy Concurrent List-Based Set Algorithm
Similar content
3,498
Lazy Annotation for Program Testing and Verification
Authors:
Kenneth McMillan
3D car shape reconstruction from a contour sketch using GAN and lazy learning
Authors:
Naoki Nozawa
,
Hubert P. H. Shum
,
Qi Feng
…
Lazy decompression of surface light fields for precomputed global illumination
Authors:
Gavin Miller
,
Steven Rubin
,
Dulce Ponceleón
See all similar
Cited by
16
Formal Verification of a Lazy Concurrent List-Based Set Algorithm
Authors:
Robert Colvin
,
Lindsay Groves
,
Victor Luchangco
…
Modular Safety Checking for Fine-Grained Concurrency
Authors:
Cristiano Calcagno
,
Matthew Parkinson
,
Viktor Vafeiadis
Experience with Model Checking Linearizability
Authors:
Martin Vechev
,
Eran Yahav
,
Greta Yorsh
See all cited by