Byzantine disk paxos: optimal resilience with byzantine shared memory, Proc. 23th ACM Symposium on Principles of Distributed Computing, pp.226-235, 2004. ,
DOI : 10.1007/s00446-005-0151-6
On Implementing Omega with Weak Reliability and Synchrony Assumptions, Proc. 22th ACM Symposium on Principles of Distributed Computing (PODC'03), pp.306-314, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00154822
Communication-efficient leader election and consensus with limited link synchrony, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing , PODC '04, pp.328-337, 2004. ,
DOI : 10.1145/1011767.1011816
URL : https://hal.archives-ouvertes.fr/hal-00154865
On using network attached disks as shared memory, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.315-324, 2003. ,
DOI : 10.1145/872035.872082
Unreliable failure detectors for reliable distributed systems, Journal of the ACM, vol.43, issue.2, pp.225-267, 1996. ,
DOI : 10.1145/226643.226647
The weakest failure detector for solving consensus, Journal of the ACM, vol.43, issue.4, pp.685-722, 1996. ,
DOI : 10.1145/234533.234549
Consensus in the presence of partial synchrony, Journal of the ACM, vol.35, issue.2, pp.288-323, 1988. ,
DOI : 10.1145/42282.42283
Electing an Eventual Leader in an Asynchronous Shared Memory System, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), 2007. ,
DOI : 10.1109/DSN.2007.39
A Cost-effective High-bandwidth Storage Architecture, Proc. 8th Int'l Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'98), pp.92-103, 1998. ,
The Weakest failure Detectors to Boost Obstruction-Freedom, Proc. 20th Symposium on Distributed Computing (DISC'06 Springer-Verlag LNCS #4167, pp.376-390, 2006. ,
The information structure of indulgent consensus, IEEE Transactions on Computers, vol.53, issue.4, pp.453-466, 2004. ,
DOI : 10.1109/TC.2004.1268403
A Leader Election Protocol for Eventually Synchronous Shared Memory Systems. 4th Int'l IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'06), pp.75-80, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00000861
The Alpha of Indulgent Consensus, The Computer Journal, vol.50, issue.1, pp.53-67, 2007. ,
DOI : 10.1093/comjnl/bxl046
Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991. ,
DOI : 10.1145/114005.102808
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
Software transactional memory for dynamic-sized data structures, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.92-101, 2003. ,
DOI : 10.1145/872035.872048
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
The part-time parliament, ACM Transactions on Computer Systems, vol.16, issue.2, pp.133-169, 1989. ,
DOI : 10.1145/279227.279229
Optimal implementation of the weakest failure detector for solving consensus, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000, pp.52-60, 2000. ,
DOI : 10.1109/RELDI.2000.885392
Petal: Distributed Virtual Disks, Proc. 7th Int'l Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'96), pp.84-92, 1996. ,
Using failure detectors to solve consensus in asynchronous shared-memory systems, Proc. 8th Int'l Workshop on Distributed Computing (WDAG'94), pp.280-295, 1994. ,
DOI : 10.1007/BFb0020440
?? Meets Paxos: Leader Election and Stability Without Eventual Timely Links, Proc. 19th Int'l Symposium on DIStributed Computing (DISC'05), pp.199-213, 2005. ,
DOI : 10.1007/11561927_16
Asynchronous implementation of failure detectors, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., pp.351-360, 2003. ,
DOI : 10.1109/DSN.2003.1209946
LEADER-BASED CONSENSUS, Parallel Processing Letters, vol.11, issue.01, pp.95-107, 2001. ,
DOI : 10.1142/S0129626401000452
Time-free Assumption to Implement Eventual Leadership. Parallel Processing letters, pp.189-208, 2006. ,
Time-free and timer-based assumptions can be combined to obtain eventual leadership, IEEE Transactions on Parallel and Distributed Systems, vol.17, issue.7, pp.656-666, 2006. ,
DOI : 10.1109/TPDS.2006.95
Failure Mode Assumptions and Assumption Coverage, Proc. of the 22nd Int'l Symposium on Fault-Tolerant Computing (FTCS-22), pp.386-395, 1992. ,
DOI : 10.1007/978-3-642-79789-7_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.5363
A short introduction to failure detectors for asynchronous distributed systems, ACM SIGACT News, vol.36, issue.1, pp.53-70, 2005. ,
DOI : 10.1145/1052796.1052806