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

Most cited references 17

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

Finite state machines for strings over infinite alphabets

Victor Vianu, Frank Neven, Thomas Schwentick (2004)

0 comments Cited 49 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): 2010

Pages: 465-479

DOI: 10.1007/978-3-642-14295-6_41

SO-VID: abb16e48-bfb4-43d6-8c30-a8a8618243a3

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

See all cited by

Model Checking of Linearizability of Concurrent List Implementations

Read this book at

Related collections

In vitro alveolar region models

Most cited references 17

Linearizability: a correctness condition for concurrent objects

Finite state machines for strings over infinite alphabets

A Pragmatic Implementation of Non-blocking Linked-lists

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,131

Cited by 11