431 citations · 445 across the 8 of their papers we have counts for
1 paper · 1 filter
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)…