Chapter 10 Reference 1

Linearizability: A Correctness Condition for Concurrent Objects

Maurice P. Herlihy and Jeannette M. Wing

ACM Transactions on Programming Languages and Systems 1990 cs.brown.edu

Open the original at cs.brown.edu

As cited in DDIA

Maurice P. Herlihy and Jeannette M. Wing. "Linearizability: A Correctness Condition for Concurrent Objects." ACM Transactions on Programming Languages and Systems (TOPLAS), volume 12, issue 3, pages 463–492, July 1990. doi:10.1145/78969.78972

Link check

Status: Link checked and reachable (HTTP 200)
Format: application/pdf
Size: 2.1 MB
Redirects to: https://cs.brown.edu/people/mph/HerlihyW90/p463-herlihy.pdf
Last checked: 2026-08-29

Identifiers and archived copies

DOI: 10.1145/78969.78972