Journal article
Abstraction for concurrent objects
- Abstract:
-
Concurrent data structures are usually designed to satisfy correctness conditions such as sequential consistency or linearizability. In this paper, we consider the following fundamental question: What guarantees are provided by these conditions for client programs? We formally show that these conditions can be characterized in terms of observational refinement. Our study also provides a new understanding of sequential consistency and linearizability in terms of abstraction of dependency betwe...
Expand abstract
- Publication status:
- Published
Actions
Authors
Bibliographic Details
- Journal:
- THEORETICAL COMPUTER SCIENCE
- Volume:
- 411
- Issue:
- 51-52
- Pages:
- 4379-4398
- Publication date:
- 2010-12-04
- DOI:
- ISSN:
-
0304-3975
- Source identifiers:
-
331452
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
pubs:331452
- UUID:
-
uuid:96b627ad-9a52-48cc-b9d6-e082639048f3
- Local pid:
- pubs:331452
- Deposit date:
- 2012-12-19
Terms of use
- Copyright date:
- 2010
If you are the owner of this record, you can report an update to it here: Report update to this record