Time Bounds for Strong and Hybrid Consistency for Arbitrary Abstract Data Types.

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

Computing, Computer Science, Computer Architecture +16

Memory consistency and event ordering in scalable shared-memory multiprocessors

Kourosh Gharachorloo, Daniel Lenoski, James Laudon et al. · 1998 · 1K citations

Engineering, Computer Engineering, Computer Science +17

Reliable communication in the presence of failures

Ken Birman, Thomas Joseph · ACM Transactions on Computer Systems · 1987 · 996 citations · Full text

Computing, Computer Science, Computer Systems +17

Sequential consistency versus linearizability

Hagit Attiya, Jennifer L. Welch · ACM Transactions on Computer Systems · 1994 · 269 citations · Full text

Computing, Computer Engineering, Computer Science +15

An upper and lower bound for clock synchronization

Jennifer Lundelius, Nancy Lynch · Information and Control · 1984 · 249 citations

Computing, Computer Engineering, Computer Science +13