M. K. Aguilera, S. Frolund, V. Hadzilacos, S. L. Horn, and S. Toueg, Abortable and query-abortable objects and their efficient implementation, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, PODC '07, pp.23-32, 2007.
DOI : 10.1145/1281100.1281107

B. A. Ph, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, 1987.

E. W. Dijkstra, Hierarchical ordering of sequential processes, Acta Informatica, vol.1, issue.2, pp.115-138, 1971.
DOI : 10.1007/BF00289519

E. F. Fich, V. Luchangco, M. Moir, and N. Shavit, Obstruction-Free Algorithms Can Be Practically Wait-Free, Proc. 19th Int'l Symposium on Distributed Computing (DISC'05), pp.78-92, 2005.
DOI : 10.1007/11561927_8

R. Guerraoui, M. Kapalka, and P. Kuznetsov, The Weakest Failure Detectors to Boost Obstruction-freedom. Distributed Computing, pp.415-433, 2008.

R. Guerraoui and M. Raynal, From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus, 9th Int'l Conference on Parallel Computing Technologies (PaCT'07), Springer Verlag LNCS LNCS #4671, pp.47-61, 2007.
DOI : 10.1007/978-3-540-73940-1_5

M. P. Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991.
DOI : 10.1145/114005.102808

M. P. Herlihy, V. Luchangco, and M. Moir, Obstruction-free synchronization: double-ended queues as an example, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings., pp.522-529, 2003.
DOI : 10.1109/ICDCS.2003.1203503
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.1070

M. P. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, p.508, 2008.
DOI : 10.1145/1146381.1146382

M. P. Herlihy and J. M. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, pp.463-492, 1990.
DOI : 10.1145/78969.78972

C. E. Hewitt and R. R. Atkinson, Specification and Proof Techniques for Serializers, IEEE Transactions on Software Engineering, vol.5, issue.1, pp.1-21, 1979.
DOI : 10.1109/TSE.1979.234149

C. A. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, vol.17, issue.10, pp.549-557, 1974.
DOI : 10.1145/355620.361161

P. Jayanti, Adaptive and efficient abortable mutual exclusion, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.295-304, 2003.
DOI : 10.1145/872035.872079

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, pp.690-691, 1979.
DOI : 10.1109/TC.1979.1675439

. L. Lamport, On interprocess communication, Distributed Computing, vol.21, issue.2, pp.77-101, 1986.
DOI : 10.1007/BF01786227

L. Lamport, A fast mutual exclusion algorithm, ACM Transactions on Computer Systems, vol.5, issue.1, pp.1-11, 1987.
DOI : 10.1145/7351.7352

G. L. Peterson, Myths about the mutual exclusion problem, Information Processing Letters, vol.12, issue.3, pp.115-116, 1981.
DOI : 10.1016/0020-0190(81)90106-X

M. Raynal, Algorithms for Mutual Exclusion, 1986.
URL : https://hal.archives-ouvertes.fr/inria-00075198

M. Raynal, Locks Considered Harmful: A Look at Non-traditional Synchronization, Proc. 6th Int'l Workshop on Software Technologies for Future Embedded and Ubiquitous Computing Systems (SEUS'08), pp.369-380, 2008.
DOI : 10.1007/11945529_2

M. Raynal, Shared Memory Synchronization in Presence of Failures: an Exercise-based Introduction, Conference on Complex, Intelligent and Software Intensive Systems (CISIS'09), pp.9-18, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00440367

M. Raynal, U. Irisa, and . De, On the Implementation of Concurrent Objects, Rennes, vol.25, issue.1, 2011.
DOI : 10.1007/978-3-642-24541-1_33
URL : https://hal.archives-ouvertes.fr/inria-00577736

N. Shafiei, Non-blocking Array-Based Algorithms for Stacks and Queues, Proc. th Int'l Conference on Distributed Computing and Networking (ICDCN'09), pp.55-66, 2009.
DOI : 10.1006/jpdc.2000.1621

I. Suzuki and T. Kasami, A distributed mutual exclusion algorithm, ACM Transactions on Computer Systems, vol.3, issue.4, pp.344-349, 1985.
DOI : 10.1145/6110.214406

G. Taubenfeld, Synchronization Algorithms and Concurrent Programming, 2006.

G. Taubenfeld, Efficient Transformations of Obstruction-Free Algorithms into Non-blocking Algorithms, Proc. 21th Int'l Symposium on Distributed Computing (DISC'07 Springer-Verlag LNCS #4731, pp.450-464, 2007.
DOI : 10.1007/978-3-540-75142-7_34

G. Taubenfeld, Contention-Sensitive Data Structure and Algorithms, Proc. 23th Int'l Symposium on Distributed Computing (DISC'09), Springer Verlag LNCS #5805, pp.157-171, 2009.