Author:
Herlihy Maurice,Shavit Nir,Luchangco Victor,Spear Michael
Reference12 articles.
1. Counting networks;Aspnes;Journal of the ACM,1994
2. Obstruction-free synchronization: double-ended queues as an example;Herlihy,2003
3. On the nature of progress;Herlihy,2011
4. Linearizability: a correctness condition for concurrent objects;Herlihy;ACM Transactions on Programming Languages and Systems,1990
5. On interprocess communication;Lamport;Distributed Computing,1986