Research paper ACM Subscription may be required

Linearizability: A Correctness Condition for Concurrent Objects

Linearizability: A Correctness Condition for Concurrent Objects

ACMSubscription may be required

Read the paper
First page of Linearizability: A Correctness Condition for Concurrent Objects.
View full preview First page of the original paper. · Maurice Herlihy and Jeannette Wing / ACM. View in context ↗
  • Concurrent Programming
  • Abstract data types
  • Data types and structures

In this reference

Maurice P. Herlihy and Jeannette M. Wing: Linearizability: A Correctness Condition for Concurrent Objects.

Cite the original work

Maurice P. Herlihy & Jeannette M. Wing. Linearizability: A Correctness Condition for Concurrent Objects [Research paper]. ACM. https://doi.org/10.1145/78969.78972

View BibTeX
@misc{linearizability_a_correctness_condition_for_concurrent_objects,
  author = {Maurice P. Herlihy and Jeannette M. Wing},
  title = {{Linearizability: A Correctness Condition for Concurrent Objects}},
  howpublished = {ACM},
  url = {https://doi.org/10.1145/78969.78972},
  doi = {10.1145/78969.78972}
}
← Back to the library