H. Attiya and A. Fouren, Adaptive and Efficient Algorithms for Lattice Agreement and Renaming, SIAM Journal on Computing, vol.31, issue.2, pp.642-664, 2002.
DOI : 10.1137/S0097539700366000

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9976

J. H. Anderson, Multi-writer composite registers, Distributed Computing, pp.175-195, 1994.
DOI : 10.1007/BF02280833

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.3621

J. Aspnes, Slightly smaller splitter networks. CoRR, abs/1011, 2010.

Y. Afek, G. Stupp, and D. Touitou, Long-lived adaptive collect with applications, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039), pp.262-272, 1999.
DOI : 10.1109/SFFCS.1999.814598

E. Borowsky and E. Gafni, Immediate atomic snapshots and fast renaming, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing , PODC '93, pp.41-51, 1993.
DOI : 10.1145/164051.164056

C. Delporte-gallet, H. Fauconnier, E. Gafni, and L. Lamport, Adaptive Register Allocation with a Linear Number of Registers, DISC, pp.269-283, 2013.
DOI : 10.1007/978-3-642-41527-2_19

URL : https://hal.archives-ouvertes.fr/hal-00922425

C. Delporte-gallet, H. Fauconnier, E. Gafni, and S. Rajsbaum, Linear Space Bootstrap Communication Schemes, ICDCN, pp.363-377, 2013.
DOI : 10.1007/978-3-642-35668-1_25

URL : https://hal.archives-ouvertes.fr/hal-01251557

[. Fich, M. Herlihy, and N. Shavit, On the space complexity of randomized synchronization, Journal of the ACM, vol.45, issue.5, pp.843-862, 1998.
DOI : 10.1145/290179.290183

E. Gafni, A simple algorithmic characterization of uniform solvability, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings., pp.228-237, 2002.
DOI : 10.1109/SFCS.2002.1181946

E. Gafni, M. Merritt, and G. Taubenfeld, The concurrency hierarchy, and algorithms for unbounded concurrency, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing , PODC '01, pp.161-169, 2001.
DOI : 10.1145/383962.384008

L. Lam and . Lamport, Proofs for adaptive register allocation with a linear number of registers

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

L. Lamport, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

L. Lamport, The PlusCal Algorithm Language, Lecture Notes in Computer Science, vol.5684, pp.36-60, 2009.
DOI : 10.1007/978-3-642-03466-4_2

M. Moir and J. H. Anderson, Wait-free algorithms for fast, long-lived renaming, Science of Computer Programming, vol.25, issue.1, pp.1-39, 1995.
DOI : 10.1016/0167-6423(95)00009-H