A simple object that spans the whole consensus hierarchy, Parallel Processing Letters, 2018. ,
Common2 extended to stacks and unbounded concurrency, Distributed Computing, vol.20, issue.4, pp.239-252, 2007. ,
A completeness theorem for a class of synchronization objects, PODC, pp.159-170, 1993. ,
Wait-free data structures in the asynchronous pram model, SPAA, pp.340-349, 1990. ,
Nontrivial and universal helping for wait-free queues and stacks, OPODIS, 2015. ,
, Help! In PODC, pp.241-250, 2015.
Wait-freedom is harder than lock-freedom under strong linearizability, DISC, pp.60-74, 2015. ,
DOI : 10.1007/978-3-662-48653-5_5
URL : https://hal.archives-ouvertes.fr/hal-01199821
A complexity-based hierarchy for multiprocessor synchronization, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, pp.289-298, 2016. ,
Linearizable implementations do not suffice for randomized distributed computation, STOC, pp.373-382, 2011. ,
Impossibility results for asynchronous pram, SPAA, pp.327-336, 1991. ,
Wait-free synchronization, ACM Trans. Prog. Lang. Syst, vol.13, issue.1, pp.124-149, 1991. ,
Linearizability: A correctness condition for concurrent objects, ACM Trans. Prog. Lang. Syst, vol.12, issue.3, pp.463-492, 1990. ,
A methodology for creating fast wait-free data structures, PPoPP, pp.141-150, 2012. ,
Causal consistency: beyond memory, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01286755