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
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
Slightly smaller splitter networks. CoRR, abs/1011, 2010. ,
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
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
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
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
On the space complexity of randomized synchronization, Journal of the ACM, vol.45, issue.5, pp.843-862, 1998. ,
DOI : 10.1145/290179.290183
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
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
Proofs for adaptive register allocation with a linear number of registers ,
A fast mutual exclusion algorithm, ACM Transactions on Computer Systems, vol.5, issue.1, pp.1-11, 1987. ,
DOI : 10.1145/7351.7352
Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,
The PlusCal Algorithm Language, Lecture Notes in Computer Science, vol.5684, pp.36-60, 2009. ,
DOI : 10.1007/978-3-642-03466-4_2
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