Merkliste 
 1 Ergebnisse 
 
1

Linearizability: a correctness condition for concurrent obj..:

Herlihy, Maurice P. ; Wing, Jeannette M.
ACM Transactions on Programming Languages and Systems.  12 (1990)  3 - p. 463-492 , 1990