431 citations · 445 across the 8 of their papers we have counts for
1 paper · 2 filters
Haoxiang Lin
Linearizability is the strongest correctness property for both shared memory and message passing systems. One of its useful features is the compositionality: a history (execution)…