BibTeX records: Achour Mostéfaoui

download as .bib file

@inproceedings{DBLP:conf/applied/KowalskiMP24,
  author       = {Vincent Kowalski and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin},
  editor       = {Ioannis Chatzigiannakis and
                  Vincent Gramoli},
  title        = {Invited Paper: Causal Mutual Byzantine Broadcast},
  booktitle    = {Proceedings of the 2024 Workshop on Advanced Tools, Programming Languages,
                  and PLatforms for Implementing and Evaluating algorithms for Distributed
                  systems, ApPLIED 2024, Nantes, France, 17 June 2024},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3663338.3663679},
  doi          = {10.1145/3663338.3663679},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/applied/KowalskiMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/KowalskiMP24,
  author       = {Vincent Kowalski and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin},
  title        = {An Optimal Byzantine SCD-Broadcast Protocol},
  booktitle    = {19th European Dependable Computing Conference, {EDCC} 2024, Leuven,
                  Belgium, April 8-11, 2024},
  pages        = {139--146},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/EDCC61798.2024.00036},
  doi          = {10.1109/EDCC61798.2024.00036},
  timestamp    = {Fri, 24 May 2024 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/KowalskiMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiPW24,
  author       = {Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Julien Weibel},
  editor       = {Ran Gelles and
                  Dennis Olivetti and
                  Petr Kuznetsov},
  title        = {Brief Announcement: Randomized Consensus: Common Coins Are not the
                  Holy Grail!},
  booktitle    = {Proceedings of the 43rd {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2024, Nantes, France, June 17-21, 2024},
  pages        = {36--39},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3662158.3662824},
  doi          = {10.1145/3662158.3662824},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiPW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GayMP24,
  author       = {Sylvain Gay and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin},
  editor       = {Ran Gelles and
                  Dennis Olivetti and
                  Petr Kuznetsov},
  title        = {Brief Announcement: No Broadcast Abstraction Characterizes k-Set-Agreement
                  in Message-Passing Systems},
  booktitle    = {Proceedings of the 43rd {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2024, Nantes, France, June 17-21, 2024},
  pages        = {343--346},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3662158.3662818},
  doi          = {10.1145/3662158.3662818},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/GayMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/FreyMPRT23,
  author       = {Davide Frey and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Pierre{-}Louis Roman and
                  Fran{\c{c}}ois Ta{\"{\i}}ani},
  title        = {Differentiated Consistency for Worldwide Gossips},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {34},
  number       = {1},
  pages        = {1--15},
  year         = {2023},
  url          = {https://doi.org/10.1109/TPDS.2022.3209150},
  doi          = {10.1109/TPDS.2022.3209150},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/FreyMPRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/KowalskiMP23,
  author       = {Vincent Kowalski and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin},
  editor       = {Alysson Bessani and
                  Xavier D{\'{e}}fago and
                  Junya Nakamura and
                  Koichi Wada and
                  Yukiko Yamauchi},
  title        = {Atomic Register Abstractions for Byzantine-Prone Distributed Systems},
  booktitle    = {27th International Conference on Principles of Distributed Systems,
                  {OPODIS} 2023, December 6-8, 2023, Tokyo, Japan},
  series       = {LIPIcs},
  volume       = {286},
  pages        = {35:1--35:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.OPODIS.2023.35},
  doi          = {10.4230/LIPICS.OPODIS.2023.35},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/KowalskiMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DepresMPR23,
  author       = {Mathilde D{\'{e}}pr{\'{e}}s and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  editor       = {Rotem Oshman and
                  Alexandre Nolin and
                  Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Alkida Balliu},
  title        = {Brief Announcement: The MBroadcast Abstraction},
  booktitle    = {Proceedings of the 2023 {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2023, Orlando, FL, USA, June 19-23, 2023},
  pages        = {282--285},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3583668.3594569},
  doi          = {10.1145/3583668.3594569},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/DepresMPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DepresMPR23,
  author       = {Mathilde D{\'{e}}pr{\'{e}}s and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  editor       = {Rotem Oshman},
  title        = {Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous
                  Distributed Systems},
  booktitle    = {37th International Symposium on Distributed Computing, {DISC} 2023,
                  October 10-12, 2023, L'Aquila, Italy},
  series       = {LIPIcs},
  volume       = {281},
  pages        = {16:1--16:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.DISC.2023.16},
  doi          = {10.4230/LIPICS.DISC.2023.16},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/DepresMPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/PerrinMBC22,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Gr{\'{e}}goire Bonin and
                  Ludmila Courtillat{-}Piazza},
  title        = {Extending the wait-free hierarchy to multi-threaded systems},
  journal      = {Distributed Comput.},
  volume       = {35},
  number       = {4},
  pages        = {375--398},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00446-022-00425-x},
  doi          = {10.1007/S00446-022-00425-X},
  timestamp    = {Mon, 08 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dc/PerrinMBC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/NedelecMM21,
  author       = {Brice N{\'{e}}delec and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui},
  title        = {A scalable sequence encoding for collaborative editing},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {33},
  number       = {8},
  year         = {2021},
  url          = {https://doi.org/10.1002/cpe.4108},
  doi          = {10.1002/CPE.4108},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/NedelecMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ImbsMPR21,
  author       = {Damien Imbs and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {Set-constrained delivery broadcast: {A} communication abstraction
                  for read/write implementable distributed objects},
  journal      = {Theor. Comput. Sci.},
  volume       = {886},
  pages        = {49--68},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.06.044},
  doi          = {10.1016/J.TCS.2021.06.044},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ImbsMPR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BedinLMPP21,
  author       = {Denis B{\'{e}}din and
                  Fran{\c{c}}ois L{\'{e}}pine and
                  Achour Most{\'{e}}faoui and
                  Damien Perez and
                  Matthieu Perrin},
  editor       = {Seth Gilbert},
  title        = {Wait-Free CAS-Based Algorithms: The Burden of the Past},
  booktitle    = {35th International Symposium on Distributed Computing, {DISC} 2021,
                  October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {209},
  pages        = {11:1--11:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.DISC.2021.11},
  doi          = {10.4230/LIPICS.DISC.2021.11},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BedinLMPP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/PerrinMB20,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Gr{\'{e}}goire Bonin},
  editor       = {Yuval Emek and
                  Christian Cachin},
  title        = {Extending the Wait-free Hierarchy to Multi-Threaded Systems},
  booktitle    = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing,
                  Virtual Event, Italy, August 3-7, 2020},
  pages        = {21--30},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3382734.3405723},
  doi          = {10.1145/3382734.3405723},
  timestamp    = {Tue, 04 Aug 2020 16:04:51 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/PerrinMB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/MostefaouiRR19,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Matthieu Roy},
  title        = {Time-efficient read/write register in crash-prone asynchronous message-passing
                  systems},
  journal      = {Computing},
  volume       = {101},
  number       = {1},
  pages        = {3--17},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00607-018-0615-8},
  doi          = {10.1007/S00607-018-0615-8},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/MostefaouiRR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MostefaouiPRC19,
  author       = {Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal and
                  Jiannong Cao},
  title        = {Crash-tolerant causal broadcast in \emph{O}(\emph{n}) messages},
  journal      = {Inf. Process. Lett.},
  volume       = {151},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ipl.2019.105837},
  doi          = {10.1016/J.IPL.2019.105837},
  timestamp    = {Tue, 14 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/MostefaouiPRC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BoninMP19,
  author       = {Gr{\'{e}}goire Bonin and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin},
  editor       = {Victor Malyshkin},
  title        = {Does the Operational Model Capture Partition Tolerance in Distributed
                  Systems?},
  booktitle    = {Parallel Computing Technologies - 15th International Conference, PaCT
                  2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11657},
  pages        = {400--407},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-25636-4\_31},
  doi          = {10.1007/978-3-030-25636-4\_31},
  timestamp    = {Thu, 01 Aug 2019 10:38:24 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/BoninMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MostefaouiPR19,
  author       = {Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {A New Insight into Local Coin-Based Randomized Consensus},
  booktitle    = {24th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2019, Kyoto, Japan, December 1-3, 2019},
  pages        = {207--216},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/PRDC47002.2019.00051},
  doi          = {10.1109/PRDC47002.2019.00051},
  timestamp    = {Thu, 06 Feb 2020 16:12:03 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MostefaouiPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BoninMP19,
  author       = {Gr{\'{e}}goire Bonin and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin},
  editor       = {Jukka Suomela},
  title        = {Brief Announcement: Wait-Free Universality of Consensus in the Infinite
                  Arrival Model},
  booktitle    = {33rd International Symposium on Distributed Computing, {DISC} 2019,
                  October 14-18, 2019, Budapest, Hungary},
  series       = {LIPIcs},
  volume       = {146},
  pages        = {38:1--38:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.DISC.2019.38},
  doi          = {10.4230/LIPICS.DISC.2019.38},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BoninMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02063,
  author       = {Gr{\'{e}}goire Bonin and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin},
  title        = {Wait-Free Universality of Consensus in the Infinite Arrival Model},
  journal      = {CoRR},
  volume       = {abs/1908.02063},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.02063},
  eprinttype    = {arXiv},
  eprint       = {1908.02063},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-02063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/MostefaouiPR18,
  author       = {Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {Extending Causal Consistency to any Object Defined by a Sequential
                  Specification},
  journal      = {Bull. {EATCS}},
  volume       = {125},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/545},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/MostefaouiPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/MostefaouiPR18,
  author       = {Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {A Simple Object that Spans the Whole Consensus Hierarchy},
  journal      = {Parallel Process. Lett.},
  volume       = {28},
  number       = {2},
  pages        = {1850006:1--1850006:9},
  year         = {2018},
  url          = {https://doi.org/10.1142/S0129626418500068},
  doi          = {10.1142/S0129626418500068},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/MostefaouiPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MostefaouiMR18,
  author       = {Achour Most{\'{e}}faoui and
                  Hamouma Moumen and
                  Michel Raynal},
  title        = {Randomized k-set agreement in crash-prone and Byzantine asynchronous
                  systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {709},
  pages        = {80--97},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2017.03.018},
  doi          = {10.1016/J.TCS.2017.03.018},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MostefaouiMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/NedelecTFMM18,
  author       = {Brice N{\'{e}}delec and
                  Julian Tanke and
                  Davide Frey and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui},
  title        = {An adaptive peer-sampling protocol for building networks of browsers},
  journal      = {World Wide Web},
  volume       = {21},
  number       = {3},
  pages        = {629--661},
  year         = {2018},
  url          = {https://doi.org/10.1007/s11280-017-0478-5},
  doi          = {10.1007/S11280-017-0478-5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/www/NedelecTFMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/ImbsMPR18,
  author       = {Damien Imbs and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  editor       = {Paolo Bellavista and
                  Vijay K. Garg},
  title        = {Set-Constrained Delivery Broadcast: Definition, Abstraction Power,
                  and Computability Limits},
  booktitle    = {Proceedings of the 19th International Conference on Distributed Computing
                  and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018},
  pages        = {7:1--7:10},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3154273.3154296},
  doi          = {10.1145/3154273.3154296},
  timestamp    = {Fri, 27 Mar 2020 08:54:53 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcn/ImbsMPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/NedelecMM18,
  author       = {Brice N{\'{e}}delec and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui},
  editor       = {Jiannong Cao and
                  Faith Ellen and
                  Lu{\'{\i}}s Rodrigues and
                  Bernardo Ferreira},
  title        = {Causal Broadcast: How to Forget?},
  booktitle    = {22nd International Conference on Principles of Distributed Systems,
                  {OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
  series       = {LIPIcs},
  volume       = {125},
  pages        = {20:1--20:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.20},
  doi          = {10.4230/LIPICS.OPODIS.2018.20},
  timestamp    = {Sat, 29 Apr 2023 18:21:58 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/NedelecMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/NedelecMM18,
  author       = {Brice N{\'{e}}delec and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui},
  title        = {Breaking the Scalability Barrier of Causal Broadcast for Large and
                  Dynamic Systems},
  booktitle    = {37th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2018,
                  Salvador, Brazil, October 2-5, 2018},
  pages        = {51--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SRDS.2018.00016},
  doi          = {10.1109/SRDS.2018.00016},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/NedelecMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00678,
  author       = {Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {A Simple Object that Spans the Whole Consensus Hierarchy},
  journal      = {CoRR},
  volume       = {abs/1802.00678},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.00678},
  eprinttype    = {arXiv},
  eprint       = {1802.00678},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-00678.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00706,
  author       = {Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {Extending Causal Consistency to any Object Defined by a Sequential
                  Specification},
  journal      = {CoRR},
  volume       = {abs/1802.00706},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.00706},
  eprinttype    = {arXiv},
  eprint       = {1802.00706},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-00706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-05201,
  author       = {Brice N{\'{e}}delec and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui},
  title        = {Breaking the Scalability Barrier of Causal Broadcast for Large and
                  Dynamic Systems},
  journal      = {CoRR},
  volume       = {abs/1805.05201},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.05201},
  eprinttype    = {arXiv},
  eprint       = {1805.05201},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05201.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MostefaouiR17,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Signature-free asynchronous Byzantine systems: from multivalued to
                  binary consensus with t{\textless} n/3, O(n\({}^{\mbox{2}}\)) messages,
                  and constant time},
  journal      = {Acta Informatica},
  volume       = {54},
  number       = {5},
  pages        = {501--520},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00236-016-0269-y},
  doi          = {10.1007/S00236-016-0269-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/MostefaouiR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/MostefaouiPRJ17,
  author       = {Achour Most{\'{e}}faoui and
                  Matoula Petrolia and
                  Michel Raynal and
                  Claude Jard},
  title        = {Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous
                  Message-Passing Systems},
  journal      = {Theory Comput. Syst.},
  volume       = {60},
  number       = {4},
  pages        = {677--694},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00224-016-9699-8},
  doi          = {10.1007/S00224-016-9699-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/MostefaouiPRJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/MostefaouiW17,
  author       = {Achour Most{\'{e}}faoui and
                  St{\'{e}}phane Weiss},
  editor       = {Victor Malyshkin},
  title        = {Probabilistic Causal Message Ordering},
  booktitle    = {Parallel Computing Technologies - 14th International Conference, PaCT
                  2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10421},
  pages        = {315--326},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62932-2\_31},
  doi          = {10.1007/978-3-319-62932-2\_31},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/MostefaouiW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/ImbsMPR17,
  author       = {Damien Imbs and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  editor       = {Andr{\'{e}}a W. Richa},
  title        = {Which Broadcast Abstraction Captures k-Set Agreement?},
  booktitle    = {31st International Symposium on Distributed Computing, {DISC} 2017,
                  October 16-20, 2017, Vienna, Austria},
  series       = {LIPIcs},
  volume       = {91},
  pages        = {27:1--27:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.DISC.2017.27},
  doi          = {10.4230/LIPICS.DISC.2017.27},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/ImbsMPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ImbsMPR17,
  author       = {Damien Imbs and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {Another Look at the Implementation of Read/write Registers in Crash-prone
                  Asynchronous Message-Passing Systems (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1702.08176},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.08176},
  eprinttype    = {arXiv},
  eprint       = {1702.08176},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ImbsMPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ImbsMPR17a,
  author       = {Damien Imbs and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {Which Broadcast Abstraction Captures {\textdollar}k{\textdollar}-Set
                  Agreement?},
  journal      = {CoRR},
  volume       = {abs/1705.04835},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.04835},
  eprinttype    = {arXiv},
  eprint       = {1705.04835},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ImbsMPR17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ImbsMPR17b,
  author       = {Damien Imbs and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Michel Raynal},
  title        = {Set-Constrained Delivery Broadcast: Definition, Abstraction Power,
                  and Computability Limits},
  journal      = {CoRR},
  volume       = {abs/1706.05267},
  year         = {2017},
  url          = {http://arxiv.org/abs/1706.05267},
  eprinttype    = {arXiv},
  eprint       = {1706.05267},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ImbsMPR17b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MostefaouiR16,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence
                  of Byzantine Processes},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {27},
  number       = {4},
  pages        = {1085--1098},
  year         = {2016},
  url          = {https://doi.org/10.1109/TPDS.2015.2427797},
  doi          = {10.1109/TPDS.2015.2427797},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/MostefaouiR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/MostefaouiMR16,
  author       = {Achour Most{\'{e}}faoui and
                  Hamouma Moumen and
                  Michel Raynal},
  title        = {Modular randomized byzantine k-set agreement in asynchronous message-passing
                  systems},
  booktitle    = {Proceedings of the 17th International Conference on Distributed Computing
                  and Networking, Singapore, January 4-7, 2016},
  pages        = {5:1--5:10},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2833312.2833313},
  doi          = {10.1145/2833312.2833313},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/MostefaouiMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MostefaouiR16,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Parosh Aziz Abdulla and
                  Carole Delporte{-}Gallet},
  title        = {Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing
                  Systems},
  booktitle    = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
                  Morocco, May 18-20, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9944},
  pages        = {250--265},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46140-3\_21},
  doi          = {10.1007/978-3-319-46140-3\_21},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/netys/MostefaouiR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiR16,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {George Giakkoupis},
  title        = {Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers
                  in Crash-prone Systems},
  booktitle    = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
  pages        = {381--389},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933057.2933095},
  doi          = {10.1145/2933057.2933095},
  timestamp    = {Tue, 06 Nov 2018 11:07:19 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/PerrinMJ16,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  editor       = {Rafael Asenjo and
                  Tim Harris},
  title        = {Causal consistency: beyond memory},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
                  12-16, 2016},
  pages        = {26:1--26:12},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2851141.2851170},
  doi          = {10.1145/2851141.2851170},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/PerrinMJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/FreyMPRT16,
  author       = {Davide Frey and
                  Achour Most{\'{e}}faoui and
                  Matthieu Perrin and
                  Pierre{-}Louis Roman and
                  Fran{\c{c}}ois Ta{\"{\i}}ani},
  title        = {Speed for the Elite, Consistency for the Masses: Differentiating Eventual
                  Consistency in Large-Scale Distributed Systems},
  booktitle    = {35th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2016,
                  Budapest, Hungary, September 26-29, 2016},
  pages        = {197--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SRDS.2016.032},
  doi          = {10.1109/SRDS.2016.032},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/FreyMPRT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/PerrinPMJ16,
  author       = {Matthieu Perrin and
                  Matoula Petrolia and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  editor       = {Cyril Gavoille and
                  David Ilcinkas},
  title        = {On Composition and Implementation of Sequential Consistency},
  booktitle    = {Distributed Computing - 30th International Symposium, {DISC} 2016,
                  Paris, France, September 27-29, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9888},
  pages        = {284--297},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53426-7\_21},
  doi          = {10.1007/978-3-662-53426-7\_21},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/PerrinPMJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/NedelecMM16,
  author       = {Brice N{\'{e}}delec and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui},
  editor       = {Jacqueline Bourdeau and
                  Jim Hendler and
                  Roger Nkambou and
                  Ian Horrocks and
                  Ben Y. Zhao},
  title        = {{CRATE:} Writing Stories Together with our Browsers},
  booktitle    = {Proceedings of the 25th International Conference on World Wide Web,
                  {WWW} 2016, Montreal, Canada, April 11-15, 2016, Companion Volume},
  pages        = {231--234},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2872518.2890539},
  doi          = {10.1145/2872518.2890539},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/www/NedelecMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MostefaouiR16,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing
                  Systems},
  journal      = {CoRR},
  volume       = {abs/1601.04820},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.04820},
  eprinttype    = {arXiv},
  eprint       = {1601.04820},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MostefaouiR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MostefaouiR16a,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers
                  in Crash-prone Systems},
  journal      = {CoRR},
  volume       = {abs/1602.02695},
  year         = {2016},
  url          = {http://arxiv.org/abs/1602.02695},
  eprinttype    = {arXiv},
  eprint       = {1602.02695},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MostefaouiR16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PerrinMJ16,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  title        = {Causal Consistency: Beyond Memory},
  journal      = {CoRR},
  volume       = {abs/1603.04199},
  year         = {2016},
  url          = {http://arxiv.org/abs/1603.04199},
  eprinttype    = {arXiv},
  eprint       = {1603.04199},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PerrinMJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MosteafouiPRJ16,
  author       = {Achour Most{\'{e}}faoui and
                  Matoula Petrolia and
                  Michel Raynal and
                  Claude Jard},
  title        = {Atomic Read/Write Memory in Signature-free Byzantine Asynchronous
                  Message-passing Systems},
  journal      = {CoRR},
  volume       = {abs/1604.08161},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.08161},
  eprinttype    = {arXiv},
  eprint       = {1604.08161},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MosteafouiPRJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PerrinPMJ16,
  author       = {Matthieu Perrin and
                  Matoula Petrolia and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  title        = {On Composition and Implementation of Sequential Consistency (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/1607.05596},
  year         = {2016},
  url          = {http://arxiv.org/abs/1607.05596},
  eprinttype    = {arXiv},
  eprint       = {1607.05596},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PerrinPMJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PerrinPMJ16a,
  author       = {Matthieu Perrin and
                  Matoula Petrolia and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  title        = {On Composition and Implementation of Sequential Consistency},
  journal      = {CoRR},
  volume       = {abs/1607.06258},
  year         = {2016},
  url          = {http://arxiv.org/abs/1607.06258},
  eprinttype    = {arXiv},
  eprint       = {1607.06258},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PerrinPMJ16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MostefaouiMR15,
  author       = {Achour Most{\'{e}}faoui and
                  Hamouma Moumen and
                  Michel Raynal},
  title        = {Signature-Free Asynchronous Binary Byzantine Consensus with t {\textless}
                  n/3, O(n2) Messages, and {O(1)} Expected Time},
  journal      = {J. {ACM}},
  volume       = {62},
  number       = {4},
  pages        = {31:1--31:21},
  year         = {2015},
  url          = {https://doi.org/10.1145/2785953},
  doi          = {10.1145/2785953},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/MostefaouiMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/PerrinMJ15,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  title        = {Update Consistency for Wait-Free Concurrent Objects},
  booktitle    = {2015 {IEEE} International Parallel and Distributed Processing Symposium,
                  {IPDPS} 2015, Hyderabad, India, May 25-29, 2015},
  pages        = {219--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/IPDPS.2015.39},
  doi          = {10.1109/IPDPS.2015.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/PerrinMJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/RivettiBM15,
  author       = {Nicolo Rivetti and
                  Yann Busnel and
                  Achour Most{\'{e}}faoui},
  editor       = {D. R. Avresky and
                  Yann Busnel},
  title        = {Efficiently Summarizing Data Streams over Sliding Windows},
  booktitle    = {14th {IEEE} International Symposium on Network Computing and Applications,
                  {NCA} 2015, Cambridge, MA, USA, September 28-30, 2015},
  pages        = {151--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/NCA.2015.46},
  doi          = {10.1109/NCA.2015.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/RivettiBM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/AnceaumeCMS15,
  author       = {Emmanuelle Anceaume and
                  Fran{\c{c}}ois Castella and
                  Achour Most{\'{e}}faoui and
                  Bruno Sericola},
  editor       = {D. R. Avresky and
                  Yann Busnel},
  title        = {A Message-Passing and Adaptive Implementation of the Randomized Test-and-Set
                  Object},
  booktitle    = {14th {IEEE} International Symposium on Network Computing and Applications,
                  {NCA} 2015, Cambridge, MA, USA, September 28-30, 2015},
  pages        = {167--175},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/NCA.2015.27},
  doi          = {10.1109/NCA.2015.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/AnceaumeCMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PerrinJM15,
  author       = {Matthieu Perrin and
                  Claude Jard and
                  Achour Most{\'{e}}faoui},
  editor       = {Ahmed Bouajjani and
                  Hugues Fauconnier},
  title        = {Tracking Causal Dependencies in Web Services Orchestrations Defined
                  in {ORC}},
  booktitle    = {Networked Systems - Third International Conference, {NETYS} 2015,
                  Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9466},
  pages        = {382--396},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26850-7\_26},
  doi          = {10.1007/978-3-319-26850-7\_26},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/netys/PerrinJM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BouzidMR15,
  author       = {Zohir Bouzid and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Chryssis Georgiou and
                  Paul G. Spirakis},
  title        = {Minimal Synchrony for Byzantine Consensus},
  booktitle    = {Proceedings of the 2015 {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2015, Donostia-San Sebasti{\'{a}}n, Spain,
                  July 21 - 23, 2015},
  pages        = {461--470},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2767386.2767418},
  doi          = {10.1145/2767386.2767418},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BouzidMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/MostefaouiR15,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Christian Scheideler},
  title        = {Signature-Free Asynchronous Byzantine Systems: From Multivalued to
                  Binary Consensus with t {\textless} n/3, O(n2) Messages, and Constant
                  Time},
  booktitle    = {Structural Information and Communication Complexity - 22nd International
                  Colloquium, {SIROCCO} 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9439},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25258-2\_14},
  doi          = {10.1007/978-3-319-25258-2\_14},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/sirocco/MostefaouiR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PerrinMJ15,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  title        = {Update Consistency for Wait-free Concurrent Objects},
  journal      = {CoRR},
  volume       = {abs/1501.02165},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.02165},
  eprinttype    = {arXiv},
  eprint       = {1501.02165},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PerrinMJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PerrinMJ15a,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  title        = {Brief Announcement: Update Consistency in Partitionable Systems},
  journal      = {CoRR},
  volume       = {abs/1501.02175},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.02175},
  eprinttype    = {arXiv},
  eprint       = {1501.02175},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PerrinMJ15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PerrinJM15,
  author       = {Matthieu Perrin and
                  Claude Jard and
                  Achour Most{\'{e}}faoui},
  title        = {Tracking Causal Dependencies in Web Services Orchestrations Defined
                  in {ORC}},
  journal      = {CoRR},
  volume       = {abs/1505.06299},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.06299},
  eprinttype    = {arXiv},
  eprint       = {1505.06299},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PerrinJM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiMR14,
  author       = {Achour Most{\'{e}}faoui and
                  Moumen Hamouma and
                  Michel Raynal},
  editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Shlomi Dolev},
  title        = {Signature-free asynchronous byzantine consensus with t 2{\textless}n/3
                  and o(n\({}^{\mbox{2}}\)) messages},
  booktitle    = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '14,
                  Paris, France, July 15-18, 2014},
  pages        = {2--9},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2611462.2611468},
  doi          = {10.1145/2611462.2611468},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/PerrinMJ14,
  author       = {Matthieu Perrin and
                  Achour Most{\'{e}}faoui and
                  Claude Jard},
  editor       = {Fabian Kuhn},
  title        = {Update Consistency in Partitionable Systems},
  booktitle    = {Distributed Computing - 28th International Symposium, {DISC} 2014,
                  Austin, TX, USA, October 12-15, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8784},
  pages        = {546--549},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://link.springer.com/content/pdf/bbm\%3A978-3-662-45174-8\%2F1.pdf\#page=16},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/PerrinMJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/NedelecMMD13,
  author       = {Brice N{\'{e}}delec and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui and
                  Emmanuel Desmontils},
  editor       = {Simone Marinai and
                  Kim Marriott},
  title        = {{LSEQ:} an adaptive structure for sequences in distributed collaborative
                  editing},
  booktitle    = {{ACM} Symposium on Document Engineering 2013, DocEng '13, Florence,
                  Italy, September 10-13, 2013},
  pages        = {37--46},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2494266.2494278},
  doi          = {10.1145/2494266.2494278},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/doceng/NedelecMMD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/NedelecMMD13a,
  author       = {Brice N{\'{e}}delec and
                  Pascal Molli and
                  Achour Most{\'{e}}faoui and
                  Emmanuel Desmontils},
  editor       = {Gioele Barabucci and
                  Uwe M. Borghoff and
                  Angelo Di Iorio and
                  Sonja Maier},
  title        = {Concurrency Effects Over Variable-size Identifiers in Distributed
                  Collaborative Editing},
  booktitle    = {Proceedings of the International workshop on Document Changes: Modeling,
                  Detection, Storage and Visualization, Florence, Italy, September 10,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1008},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1008/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:19 +0100},
  biburl       = {https://dblp.org/rec/conf/doceng/NedelecMMD13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MostefaouiPBEL13,
  author       = {Achour Most{\'{e}}faoui and
                  Andreas Polze and
                  Carlos Baquero and
                  Paul D. Ezhilchelvan and
                  Lars Lundberg},
  editor       = {Felix Wolf and
                  Bernd Mohr and
                  Dieter an Mey},
  title        = {Topic 8: Distributed Systems and Algorithms - (Introduction)},
  booktitle    = {Euro-Par 2013 Parallel Processing - 19th International Conference,
                  Aachen, Germany, August 26-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8097},
  pages        = {367--368},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40047-6\_38},
  doi          = {10.1007/978-3-642-40047-6\_38},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/MostefaouiPBEL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KowalskiM13,
  author       = {Dariusz R. Kowalski and
                  Achour Most{\'{e}}faoui},
  editor       = {Panagiota Fatourou and
                  Gadi Taubenfeld},
  title        = {Synchronous byzantine agreement with nearly a cubic number of communication
                  bits: synchronous byzantine agreement with nearly a cubic number of
                  communication bits},
  booktitle    = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '13,
                  Montreal, QC, Canada, July 22-24, 2013},
  pages        = {84--91},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2484239.2484271},
  doi          = {10.1145/2484239.2484271},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/KowalskiM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/MostefaouiRS12,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Julien Stainer},
  title        = {Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing
                  Systems},
  booktitle    = {11th {IEEE} International Symposium on Network Computing and Applications,
                  {NCA} 2012, Cambridge, MA, USA, August 23-25, 2012},
  pages        = {44--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/NCA.2012.19},
  doi          = {10.1109/NCA.2012.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/MostefaouiRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/BaldellonMR11,
  author       = {Olivier Baldellon and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Marcos Kawazoe Aguilera and
                  Haifeng Yu and
                  Nitin H. Vaidya and
                  Vikram Srinivasan and
                  Romit Roy Choudhury},
  title        = {A Necessary and Sufficient Synchrony Condition for Solving Byzantine
                  Consensus in Symmetric Networks},
  booktitle    = {Distributed Computing and Networking - 12th International Conference,
                  {ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6522},
  pages        = {215--226},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-17679-1\_19},
  doi          = {10.1007/978-3-642-17679-1\_19},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/BaldellonMR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/MostefaouiR11,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Victor Malyshkin},
  title        = {Looking for Efficient Implementations of Concurrent Objects},
  booktitle    = {Parallel Computing Technologies - 11th International Conference, PaCT
                  2011, Kazan, Russia, September 19-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6873},
  pages        = {74--87},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23178-0\_7},
  doi          = {10.1007/978-3-642-23178-0\_7},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/MostefaouiR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MostefaouiRS11,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Julien Stainer},
  editor       = {Xavier D{\'{e}}fago and
                  Franck Petit and
                  Vincent Villain},
  title        = {Relations Linking Failure Detectors Associated with k-Set Agreement
                  in Message-Passing Systems},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 13th
                  International Symposium, {SSS} 2011, Grenoble, France, October 10-12,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6976},
  pages        = {341--355},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24550-3\_26},
  doi          = {10.1007/978-3-642-24550-3\_26},
  timestamp    = {Sun, 25 Oct 2020 22:45:03 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/MostefaouiRS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MostefaouiRT10,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Narrowing power vs efficiency in synchronous set agreement: Relationship,
                  algorithms and lower bound},
  journal      = {Theor. Comput. Sci.},
  volume       = {411},
  number       = {1},
  pages        = {58--69},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.tcs.2009.09.002},
  doi          = {10.1016/J.TCS.2009.09.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MostefaouiRT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BertierMT10,
  author       = {Marin Bertier and
                  Achour Most{\'{e}}faoui and
                  Gilles Tr{\'{e}}dan},
  title        = {Low-Cost Secret-Sharing in Sensor Networks},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.16},
  doi          = {10.1109/HASE.2010.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BertierMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/MoumenM10,
  author       = {Moumen Hamouma and
                  Achour Most{\'{e}}faoui},
  title        = {Time-Free Authenticated Byzantine Consensus},
  booktitle    = {Proceedings of The Ninth {IEEE} International Symposium on Networking
                  Computing and Applications, {NCA} 2010, July 15-17, 2010, Cambridge,
                  Massachusetts, {USA}},
  pages        = {140--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/NCA.2010.25},
  doi          = {10.1109/NCA.2010.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/MoumenM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/MostefaouiR10,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Chenyang Lu and
                  Toshimitsu Masuzawa and
                  Mohamed Mosbah},
  title        = {Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a
                  Byzantine Value},
  booktitle    = {Principles of Distributed Systems - 14th International Conference,
                  {OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6490},
  pages        = {143--158},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17653-1\_13},
  doi          = {10.1007/978-3-642-17653-1\_13},
  timestamp    = {Tue, 11 Oct 2022 14:59:07 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/MostefaouiR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GafniMRT09,
  author       = {Eli Gafni and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {From adaptive renaming to set agreement},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {14},
  pages        = {1328--1335},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2008.05.016},
  doi          = {10.1016/J.TCS.2008.05.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GafniMRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MostefaouiRT09,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Gilles Tr{\'{e}}dan},
  title        = {On the Fly Estimation of the Processes that Are Alive in an Asynchronous
                  Message-Passing System},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {20},
  number       = {6},
  pages        = {778--787},
  year         = {2009},
  url          = {https://doi.org/10.1109/TPDS.2009.12},
  doi          = {10.1109/TPDS.2009.12},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/MostefaouiRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/KermarrecMRTV09,
  author       = {Anne{-}Marie Kermarrec and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Gilles Tr{\'{e}}dan and
                  Aline Carneiro Viana},
  editor       = {Vijay K. Garg and
                  Roger Wattenhofer and
                  Kishore Kothapalli},
  title        = {Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring},
  booktitle    = {Distributed Computing and Networking, 10th International Conference,
                  {ICDCN} 2009, Hyderabad, India, January 3-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5408},
  pages        = {25--36},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-92295-7\_6},
  doi          = {10.1007/978-3-540-92295-7\_6},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/KermarrecMRTV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Mostefaoui09,
  author       = {Achour Most{\'{e}}faoui},
  editor       = {Idit Keidar},
  title        = {What Agreement Problems Owe Michel},
  booktitle    = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
                  Elche, Spain, September 23-25, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5805},
  pages        = {5},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04355-0\_3},
  doi          = {10.1007/978-3-642-04355-0\_3},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/Mostefaoui09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MostefaouiRRT08,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {On the computability power and the robustness of set agreement-oriented
                  failure detector classes},
  journal      = {Distributed Comput.},
  volume       = {21},
  number       = {3},
  pages        = {201--222},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00446-008-0064-2},
  doi          = {10.1007/S00446-008-0064-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MostefaouiRRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/MostefaouiRRT08,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {The Combined Power of Conditions and Information on Failures to Solve
                  Asynchronous Set Agreement},
  journal      = {{SIAM} J. Comput.},
  volume       = {38},
  number       = {4},
  pages        = {1574--1601},
  year         = {2008},
  url          = {https://doi.org/10.1137/050645580},
  doi          = {10.1137/050645580},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/MostefaouiRRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/MostefaouiRT08,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Shrisha Rao and
                  Mainak Chatterjee and
                  Prasad Jayanti and
                  C. Siva Ram Murthy and
                  Sanjoy Kumar Saha},
  title        = {Narrowing Power vs. Efficiency in Synchronous Set Agreement},
  booktitle    = {Distributed Computing and Networking, 9th International Conference,
                  {ICDCN} 2008, Kolkata, India, January 5-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4904},
  pages        = {99--111},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77444-0\_8},
  doi          = {10.1007/978-3-540-77444-0\_8},
  timestamp    = {Mon, 22 May 2023 09:50:35 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/MostefaouiRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/MostefaouiY08,
  author       = {Achour Most{\'{e}}faoui and
                  Eiko Yoneki},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Pilar Herrero},
  title        = {{RDDS} 2008 {PC} Co-chairs' Message},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2008 Workshops,
                  {OTM} Confederated International Workshops and Posters, ADI, AWeSoMe,
                  COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS,
                  SEMELS, and {SWWS} 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5333},
  pages        = {893},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88875-8\_114},
  doi          = {10.1007/978-3-540-88875-8\_114},
  timestamp    = {Thu, 14 Oct 2021 10:28:27 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/MostefaouiY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KermarrecMRTV08,
  author       = {Anne{-}Marie Kermarrec and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Gilles Tr{\'{e}}dan and
                  Aline Carneiro Viana},
  editor       = {Rida A. Bazzi and
                  Boaz Patt{-}Shamir},
  title        = {From anarchy to geometric structuring: the power of virtual coordinates},
  booktitle    = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
                  2008},
  pages        = {435},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1400751.1400829},
  doi          = {10.1145/1400751.1400829},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/KermarrecMRTV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0801-1419,
  author       = {Vincent Gramoli and
                  Anne{-}Marie Kermarrec and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Bruno Sericola},
  title        = {Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime},
  journal      = {CoRR},
  volume       = {abs/0801.1419},
  year         = {2008},
  url          = {http://arxiv.org/abs/0801.1419},
  eprinttype    = {arXiv},
  eprint       = {0801.1419},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0801-1419.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/MostefaouiRRT07,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {From omega to Omega: {A} simple bounded quiescent reliable broadcast-based
                  transformation},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {67},
  number       = {1},
  pages        = {125--129},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jpdc.2006.06.002},
  doi          = {10.1016/J.JPDC.2006.06.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/MostefaouiRRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/FriedmanMRR07,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  title        = {Asynchronous Agreement and Its Relation with Error-Correcting Codes},
  journal      = {{IEEE} Trans. Computers},
  volume       = {56},
  number       = {7},
  pages        = {865--875},
  year         = {2007},
  url          = {https://doi.org/10.1109/TC.2007.1043},
  doi          = {10.1109/TC.2007.1043},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/FriedmanMRR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/FriedmanMR07,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {On the Respective Power of *P and *S to Solve One-Shot Agreement Problems},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {18},
  number       = {5},
  pages        = {589--597},
  year         = {2007},
  url          = {https://doi.org/10.1109/TPDS.2007.351708},
  doi          = {10.1109/TPDS.2007.351708},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/FriedmanMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/RodriguesMFT07,
  author       = {Lu{\'{\i}}s E. T. Rodrigues and
                  Achour Most{\'{e}}faoui and
                  Christof Fetzer and
                  Philippas Tsigas},
  editor       = {Anne{-}Marie Kermarrec and
                  Luc Boug{\'{e}} and
                  Thierry Priol},
  title        = {Topic 8 Distributed Systems and Algorithms},
  booktitle    = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
                  Rennes, France, August 28-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4641},
  pages        = {549},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74466-5\_58},
  doi          = {10.1007/978-3-540-74466-5\_58},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/RodriguesMFT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/HamoumaMT07,
  author       = {Moumen Hamouma and
                  Achour Most{\'{e}}faoui and
                  Gilles Tr{\'{e}}dan},
  editor       = {Eduardo Tovar and
                  Philippas Tsigas and
                  Hac{\`{e}}ne Fouchal},
  title        = {Byzantine Consensus with Few Synchronous Links},
  booktitle    = {Principles of Distributed Systems, 11th International Conference,
                  {OPODIS} 2007, Guadeloupe, French West Indies, December 17-20, 2007.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4878},
  pages        = {76--89},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77096-1\_6},
  doi          = {10.1007/978-3-540-77096-1\_6},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/HamoumaMT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/Mostefaoui07,
  author       = {Achour Most{\'{e}}faoui},
  editor       = {Victor E. Malyshkin},
  title        = {Towards a Computing Model for Open Distributed Systems},
  booktitle    = {Parallel Computing Technologies, 9th International Conference, PaCT
                  2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4671},
  pages        = {74--79},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73940-1\_7},
  doi          = {10.1007/978-3-540-73940-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/Mostefaoui07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiT07,
  author       = {Achour Most{\'{e}}faoui and
                  Gilles Tr{\'{e}}dan},
  editor       = {Indranil Gupta and
                  Roger Wattenhofer},
  title        = {Towards the minimal synchrony for byzantine consensus},
  booktitle    = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
                  12-15, 2007},
  pages        = {314--315},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1281100.1281149},
  doi          = {10.1145/1281100.1281149},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/MostefaouiRT07,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Giuseppe Prencipe and
                  Shmuel Zaks},
  title        = {From Renaming to Set Agreement},
  booktitle    = {Structural Information and Communication Complexity, 14th International
                  Colloquium, {SIROCCO} 2007, Castiglioncello, Italy, June 5-8, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4474},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72951-8\_7},
  doi          = {10.1007/978-3-540-72951-8\_7},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/sirocco/MostefaouiRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MostefaouiRR06,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  title        = {Synchronous condition-based consensus},
  journal      = {Distributed Comput.},
  volume       = {18},
  number       = {5},
  pages        = {325--343},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00446-005-0148-1},
  doi          = {10.1007/S00446-005-0148-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MostefaouiRR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/MostefaouiMRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Eric Mourgaya and
                  Michel Raynal and
                  Corentin Travers},
  title        = {A Time-free Assumption to Implement Eventual Leadership},
  journal      = {Parallel Process. Lett.},
  volume       = {16},
  number       = {2},
  pages        = {189--208},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129626406002575},
  doi          = {10.1142/S0129626406002575},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/MostefaouiMRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MostefaouiRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual
                  Leadership},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {17},
  number       = {7},
  pages        = {656--666},
  year         = {2006},
  url          = {https://doi.org/10.1109/TPDS.2006.95},
  doi          = {10.1109/TPDS.2006.95},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/MostefaouiRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MostefaouiRTR06,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers and
                  Sergio Rajsbaum},
  title        = {From Failure Detectors with Limited Scope Accuracy to System-wide
                  Leadership},
  booktitle    = {20th International Conference on Advanced Information Networking and
                  Applications {(AINA} 2006), 18-20 April 2006, Vienna, Austria},
  pages        = {81--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/AINA.2006.185},
  doi          = {10.1109/AINA.2006.185},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/MostefaouiRTR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/GramoliKMRS06,
  author       = {Vincent Gramoli and
                  Anne{-}Marie Kermarrec and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Bruno Sericola},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Pilar Herrero},
  title        = {Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime},
  booktitle    = {On the Move to Meaningful Internet Systems 2006: {OTM} 2006 Workshops,
                  {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS,
                  COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, {OTM}
                  Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier,
                  France, October 29 - November 3, 2006. Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4278},
  pages        = {1470--1479},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11915072\_52},
  doi          = {10.1007/11915072\_52},
  timestamp    = {Thu, 14 Oct 2021 10:28:24 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/GramoliKMRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiRRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Eric Ruppert and
                  Dahlia Malkhi},
  title        = {Irreducibility and additivity of set agreement-oriented failure detector
                  classes},
  booktitle    = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2006, Denver, CO, USA, July 23-26,
                  2006},
  pages        = {153--162},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146381.1146406},
  doi          = {10.1145/1146381.1146406},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiRRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MostefaouiRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Gilles Tr{\'{e}}dan},
  title        = {On the fly estimation of the processes that are alive/crashed in an
                  asynchronous message-passing system},
  booktitle    = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
                  {USA}},
  pages        = {259--266},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/PRDC.2006.48},
  doi          = {10.1109/PRDC.2006.48},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MostefaouiRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MostefaouiRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Shlomi Dolev},
  title        = {Exploring Gafni's Reduction Land: From \emph{Omega}\({}^{\mbox{\emph{k}}}\)
                  to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement},
  booktitle    = {Distributed Computing, 20th International Symposium, {DISC} 2006,
                  Stockholm, Sweden, September 18-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4167},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11864219\_1},
  doi          = {10.1007/11864219\_1},
  timestamp    = {Sat, 19 Oct 2019 20:32:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MostefaouiRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FriedmanMR05,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Asynchronous bounded lifetime failure detectors},
  journal      = {Inf. Process. Lett.},
  volume       = {94},
  number       = {2},
  pages        = {85--91},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ipl.2004.12.011},
  doi          = {10.1016/J.IPL.2004.12.011},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/FriedmanMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/FriedmanMR05,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {{\textdollar}{\textbackslash}diamondsuit \{{\textbackslash}mathcal
                  P\}{\_}\{mute\}{\textdollar}-based Consensus for Asynchronous Byzantine
                  Systems},
  journal      = {Parallel Process. Lett.},
  volume       = {15},
  number       = {1-2},
  pages        = {169--182},
  year         = {2005},
  url          = {https://doi.org/10.1142/S0129626405002131},
  doi          = {10.1142/S0129626405002131},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/FriedmanMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/FriedmanMR05,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous
                  Byzantine Systems},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {2},
  number       = {1},
  pages        = {46--56},
  year         = {2005},
  url          = {https://doi.org/10.1109/TDSC.2005.13},
  doi          = {10.1109/TDSC.2005.13},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/FriedmanMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/FriedmanMR05,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Mario Dal Cin and
                  Mohamed Ka{\^{a}}niche and
                  Andr{\'{a}}s Pataricza},
  title        = {Building and Using Quorums Despite any Number of Process of Crashes},
  booktitle    = {Dependable Computing - EDCC-5, 5th European Dependable Computing Conference,
                  Budapest, Hungary, April 20-22, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3463},
  pages        = {2--19},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11408901\_2},
  doi          = {10.1007/11408901\_2},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/FriedmanMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiRR05,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Marcos Kawazoe Aguilera and
                  James Aspnes},
  title        = {The combined power of conditions and failure detectors to solve asynchronous
                  set agreement},
  booktitle    = {Proceedings of the Twenty-Fourth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2005, Las Vegas, NV, USA, July 17-20,
                  2005},
  pages        = {179--188},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073814.1073848},
  doi          = {10.1145/1073814.1073848},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiRR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FriedmanMR05,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Intersecting Sets: a Basic Abstraction for Asynchronous Agreement
                  Problems},
  booktitle    = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
  pages        = {15--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/PRDC.2005.37},
  doi          = {10.1109/PRDC.2005.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/FriedmanMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MostefaouiRTPAA05,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers and
                  Stacy Patterson and
                  Divyakant Agrawal and
                  Amr El Abbadi},
  title        = {From Static Distributed Systems to Dynamic Systems},
  booktitle    = {24th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2005),26-28
                  October 2005, Orlando, FL, {USA}},
  pages        = {109--118},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RELDIS.2005.19},
  doi          = {10.1109/RELDIS.2005.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/MostefaouiRTPAA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MostefaouiRRR04,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Matthieu Roy},
  title        = {Condition-based consensus solvability: a hierarchy of conditions and
                  efficient protocols},
  journal      = {Distributed Comput.},
  volume       = {17},
  number       = {1},
  pages        = {1--20},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00446-003-0093-9},
  doi          = {10.1007/S00446-003-0093-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MostefaouiRRR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FriedmanMR04,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {A weakest failure detector-based asynchronous consensus protocol for
                  f{\textless}n},
  journal      = {Inf. Process. Lett.},
  volume       = {90},
  number       = {1},
  pages        = {39--46},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ipl.2004.01.001},
  doi          = {10.1016/J.IPL.2004.01.001},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/FriedmanMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AnceaumeFMNR04,
  author       = {Emmanuelle Anceaume and
                  Antonio Fern{\'{a}}ndez and
                  Achour Most{\'{e}}faoui and
                  Gil Neiger and
                  Michel Raynal},
  title        = {A necessary and sufficient condition for transforming limited accuracy
                  failure detectors},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {68},
  number       = {1},
  pages        = {123--133},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.jcss.2003.08.003},
  doi          = {10.1016/J.JCSS.2003.08.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/AnceaumeFMNR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwdc/FriedmanMR04,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Nabanita Das and
                  Arunabha Sen and
                  Sajal K. Das and
                  Bhabani P. Sinha},
  title        = {The Notion of Veto Number for Distributed Agreement Problems},
  booktitle    = {Distributed Computing - {IWDC} 2004, 6th International Workshop, Kolkata,
                  India, December 27-30, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3326},
  pages        = {315--325},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30536-1\_35},
  doi          = {10.1007/978-3-540-30536-1\_35},
  timestamp    = {Thu, 01 Dec 2022 14:41:56 +0100},
  biburl       = {https://dblp.org/rec/conf/iwdc/FriedmanMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FriedmanMR04,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Soma Chaudhuri and
                  Shay Kutten},
  title        = {Brief announcement: veto number and the respective power of eventual
                  failure detectors},
  booktitle    = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
                  July 25-28, 2004},
  pages        = {398},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1011767.1011863},
  doi          = {10.1145/1011767.1011863},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/FriedmanMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiRR04,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Soma Chaudhuri and
                  Shay Kutten},
  title        = {Brief announcement: the synchronous condition-based consensus hierarchy},
  booktitle    = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
                  July 25-28, 2004},
  pages        = {399},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1011767.1011865},
  doi          = {10.1145/1011767.1011865},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiRR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MostefaouiPR04,
  author       = {Achour Most{\'{e}}faoui and
                  David Powell and
                  Michel Raynal},
  title        = {A Hybrid Approach for Building Eventually Accurate Failure Detectors},
  booktitle    = {10th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2004), 3-5 March 2004, Papeete, Tahiti},
  pages        = {57--65},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/PRDC.2004.1276553},
  doi          = {10.1109/PRDC.2004.1276553},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MostefaouiPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MostefaouiRT04,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Crash-Resilient Time-Free Eventual Leadership},
  booktitle    = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
                  2004), 18-20 October 2004, Florianpolis, Brazil},
  pages        = {208--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RELDIS.2004.1353022},
  doi          = {10.1109/RELDIS.2004.1353022},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/MostefaouiRT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/FriedmanMR04,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous
                  Byzantine Systems},
  booktitle    = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
                  2004), 18-20 October 2004, Florianpolis, Brazil},
  pages        = {228--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RELDIS.2004.1353024},
  doi          = {10.1109/RELDIS.2004.1353024},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/FriedmanMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MostefaouiRR04,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Rachid Guerraoui},
  title        = {The Synchronous Condition-Based Consensus Hierarchy},
  booktitle    = {Distributed Computing, 18th International Conference, {DISC} 2004,
                  Amsterdam, The Netherlands, October 4-7, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3274},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30186-8\_1},
  doi          = {10.1007/978-3-540-30186-8\_1},
  timestamp    = {Wed, 07 Dec 2022 23:11:11 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/MostefaouiRR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FriedmanMR04,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Rachid Guerraoui},
  title        = {The Notion of Veto Number and the Respective Power of {OP} and {OS}
                  to Solve One-Shot Agreement Problems},
  booktitle    = {Distributed Computing, 18th International Conference, {DISC} 2004,
                  Amsterdam, The Netherlands, October 4-7, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3274},
  pages        = {41--55},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30186-8\_4},
  doi          = {10.1007/978-3-540-30186-8\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/FriedmanMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MostefaouiRR03,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  title        = {Conditions on input vectors for consensus solvability in asynchronous
                  distributed systems},
  journal      = {J. {ACM}},
  volume       = {50},
  number       = {6},
  pages        = {922--954},
  year         = {2003},
  url          = {https://doi.org/10.1145/950620.950624},
  doi          = {10.1145/950620.950624},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/MostefaouiRR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/FriedmanMRR03,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Andr{\'{e}} Schiper and
                  Alexander A. Shvartsman and
                  Hakim Weatherspoon and
                  Ben Y. Zhao},
  title        = {Using Error-Correcting Codes to Solve Distributed Agreement Problems:
                  {A} Future Direction in Distributed Computing?},
  booktitle    = {Future Directions in Distributed Computing, Research and Position
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2584},
  pages        = {17--21},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-37795-6\_4},
  doi          = {10.1007/3-540-37795-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/FriedmanMRR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MostefaouiMR03,
  author       = {Achour Most{\'{e}}faoui and
                  Eric Mourgaya and
                  Michel Raynal},
  title        = {Asynchronous Implementation of Failure Detectors},
  booktitle    = {2003 International Conference on Dependable Systems and Networks {(DSN}
                  2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
  pages        = {351--360},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/DSN.2003.1209946},
  doi          = {10.1109/DSN.2003.1209946},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MostefaouiMR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MostefaouiMPR03,
  author       = {Achour Most{\'{e}}faoui and
                  Eric Mourgaya and
                  Philippe Raipin Parv{\'{e}}dy and
                  Michel Raynal},
  title        = {Evaluating the Condition-Based Approach to Solve Consensus},
  booktitle    = {2003 International Conference on Dependable Systems and Networks {(DSN}
                  2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
  pages        = {541--550},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/DSN.2003.1209964},
  doi          = {10.1109/DSN.2003.1209964},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MostefaouiMPR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/MostefaouiRRR03,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Matthieu Roy},
  editor       = {Victor E. Malyshkin},
  title        = {A Hierarchy of Conditions for Asynchronous Interactive Consistency},
  booktitle    = {Parallel Computing Technologies, 7th International Conference, PaCT
                  2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2763},
  pages        = {130--140},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45145-7\_11},
  doi          = {10.1007/978-3-540-45145-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/MostefaouiRRR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/RoyM03,
  author       = {Matthieu Roy and
                  Achour Most{\'{e}}faoui},
  editor       = {Jop F. Sibeyn},
  title        = {Single-Write Safe Consensus using Constrained Inputs},
  booktitle    = {{SIROCCO} 10: Proceedings of the 10th Internaltional Colloquium on
                  Structural Information Complexity, June 18-20, 2003, Ume{\aa} Sweden},
  series       = {Proceedings in Informatics},
  volume       = {17},
  pages        = {291--306},
  publisher    = {Carleton Scientific},
  year         = {2003},
  timestamp    = {Thu, 05 Feb 2004 10:15:25 +0100},
  biburl       = {https://dblp.org/rec/conf/sirocco/RoyM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MostefaouiRR03,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Faith Ellen Fich},
  title        = {Using Conditions to Expedite Consensus in Synchronous Distributed
                  Systems},
  booktitle    = {Distributed Computing, 17th International Conference, {DISC} 2003,
                  Sorrento, Italy, October 1-3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2848},
  pages        = {249--263},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39989-6\_18},
  doi          = {10.1007/978-3-540-39989-6\_18},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MostefaouiRR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/MostefaouiMR02,
  author       = {Achour Most{\'{e}}faoui and
                  Eric Mourgaya and
                  Michel Raynal},
  title        = {An introduction to oracles for asynchronous distributed systems},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {18},
  number       = {6},
  pages        = {757--767},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0167-739X(02)00048-1},
  doi          = {10.1016/S0167-739X(02)00048-1},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/MostefaouiMR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HelaryMR02,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Interval Consistency of Asynchronous Distributed Computations},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {64},
  number       = {2},
  pages        = {329--349},
  year         = {2002},
  url          = {https://doi.org/10.1006/jcss.2001.1819},
  doi          = {10.1006/JCSS.2001.1819},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/HelaryMR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HurfinMR02,
  author       = {Michel Hurfin and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {A Versatile Family of Consensus Protocols Based on Chandra-Toueg's
                  Unreliable Failure Detectors},
  journal      = {{IEEE} Trans. Computers},
  volume       = {51},
  number       = {4},
  pages        = {395--408},
  year         = {2002},
  url          = {https://doi.org/10.1109/12.995450},
  doi          = {10.1109/12.995450},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/HurfinMR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MostefaouiRR02,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  title        = {A Versatile and Modular Consensus Protoco},
  booktitle    = {2002 International Conference on Dependable Systems and Networks {(DSN}
                  2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
  pages        = {364--373},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/DSN.2002.1028921},
  doi          = {10.1109/DSN.2002.1028921},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MostefaouiRR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiRRAA02,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Matthieu Roy and
                  Divyakant Agrawal and
                  Amr El Abbadi},
  editor       = {Aleta Ricciardi},
  title        = {Towards a formal model for view maintenance in data warehouses},
  booktitle    = {Proceedings of the Twenty-First Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2002, Monterey, California, USA,
                  July 21-24, 2002},
  pages        = {129},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571825.571845},
  doi          = {10.1145/571825.571845},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiRRAA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiRR02,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Aleta Ricciardi},
  title        = {Asynchronous interactive consistency and its relation with error-correcting
                  codes},
  booktitle    = {Proceedings of the Twenty-First Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2002, Monterey, California, USA,
                  July 21-24, 2002},
  pages        = {253},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571825.571866},
  doi          = {10.1145/571825.571866},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiRR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AgrawalAMRR02,
  author       = {Divyakant Agrawal and
                  Amr El Abbadi and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Matthieu Roy},
  editor       = {Dahlia Malkhi},
  title        = {The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses},
  booktitle    = {Distributed Computing, 16th International Conference, {DISC} 2002,
                  Toulouse, France, October 28-30, 2002 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2508},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36108-1\_3},
  doi          = {10.1007/3-540-36108-1\_3},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/AgrawalAMRR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MostefaouiRRR02,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Matthieu Roy},
  editor       = {Dahlia Malkhi},
  title        = {Condition-Based Protocols for Set Agreement Problems},
  booktitle    = {Distributed Computing, 16th International Conference, {DISC} 2002,
                  Toulouse, France, October 28-30, 2002 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2508},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36108-1\_4},
  doi          = {10.1007/3-540-36108-1\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MostefaouiRRR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FriedmanMRR02,
  author       = {Roy Friedman and
                  Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Dahlia Malkhi},
  title        = {Distributed Agreement and Its Relation with Error-Correcting Codes},
  booktitle    = {Distributed Computing, 16th International Conference, {DISC} 2002,
                  Toulouse, France, October 28-30, 2002 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2508},
  pages        = {63--87},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36108-1\_5},
  doi          = {10.1007/3-540-36108-1\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/FriedmanMRR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/MostefaouiRV01,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Paulo Ver{\'{\i}}ssimo},
  title        = {The logically instantaneous communication mode: a communication abstraction},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {17},
  number       = {6},
  pages        = {669--678},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-739X(00)00050-9},
  doi          = {10.1016/S0167-739X(00)00050-9},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/MostefaouiRV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BaldoniHMR01,
  author       = {Roberto Baldoni and
                  Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Impossibility of scalar clock-based communication-induced checkpointing
                  protocols ensuring the {RDT} property},
  journal      = {Inf. Process. Lett.},
  volume       = {80},
  number       = {2},
  pages        = {105--111},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0020-0190(01)00145-4},
  doi          = {10.1016/S0020-0190(01)00145-4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BaldoniHMR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/MostefaouiR01,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Leader-Based Consensus},
  journal      = {Parallel Process. Lett.},
  volume       = {11},
  number       = {1},
  pages        = {95--107},
  year         = {2001},
  url          = {https://doi.org/10.1142/S0129626401000452},
  doi          = {10.1142/S0129626401000452},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/MostefaouiR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/FritzkeIMR01,
  author       = {Udo Fritzke Jr. and
                  Philippe Ingels and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Consensus-Based Fault-Tolerant Total Order Multicast},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {12},
  number       = {2},
  pages        = {147--156},
  year         = {2001},
  url          = {https://doi.org/10.1109/71.910870},
  doi          = {10.1109/71.910870},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/FritzkeIMR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MostefaouiR01,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {A Condition for k-Set Agreement in Asynchronous Distributed Systems},
  booktitle    = {Proceedings of the 15th International Parallel {\&} Distributed
                  Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27,
                  2001},
  pages        = {78},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/IPDPS.2001.925026},
  doi          = {10.1109/IPDPS.2001.925026},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/MostefaouiR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/EzhilchelvanMR01,
  author       = {Paul D. Ezhilchelvan and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Randomized Multivalued Consensus},
  booktitle    = {4th International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} 2001), 2-4 May 2001, Magdeburg, Germany},
  pages        = {195--200},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ISORC.2001.922837},
  doi          = {10.1109/ISORC.2001.922837},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/EzhilchelvanMR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BrasileiroGMR01,
  author       = {Francisco Vilar Brasileiro and
                  Fab{\'{\i}}ola Greve and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Victor E. Malyshkin},
  title        = {Consensus in One Communication Step},
  booktitle    = {Parallel Computing Technologies, 6th International Conference, PaCT
                  2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2127},
  pages        = {42--50},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44743-1\_4},
  doi          = {10.1007/3-540-44743-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/BrasileiroGMR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiRRR01,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Matthieu Roy},
  editor       = {Ajay D. Kshemkalyani and
                  Nir Shavit},
  title        = {A hierarchy of conditions for consensus solvability},
  booktitle    = {Proceedings of the Twentieth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2001, Newport, Rhode Island, USA,
                  August 26-29, 2001},
  pages        = {151--160},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/383962.384006},
  doi          = {10.1145/383962.384006},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiRRR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/MostefaouiRRR01,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Matthieu Roy},
  editor       = {Francesc Comellas and
                  Josep F{\`{a}}brega and
                  Pierre Fraigniaud},
  title        = {Efficient Condition-Based Consensus},
  booktitle    = {{SIROCCO} 8, Proceedings of the 8th International Colloquium on Structural
                  Information and Communication Complexity, Vall de N{\'{u}}ria,
                  Girona-Barcelona, Catalonia, Spain, 27-29 June, 2001},
  series       = {Proceedings in Informatics},
  volume       = {8},
  pages        = {275--292},
  publisher    = {Carleton Scientific},
  year         = {2001},
  timestamp    = {Thu, 05 Feb 2004 10:15:17 +0100},
  biburl       = {https://dblp.org/rec/conf/sirocco/MostefaouiRRR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/MostefaouiR01,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Arnold L. Rosenberg},
  title        = {Randomized k-set agreement},
  booktitle    = {Proceedings of the Thirteenth Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} 2001, Heraklion, Crete Island, Greece, July
                  4-6, 2001},
  pages        = {291--297},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/378580.378690},
  doi          = {10.1145/378580.378690},
  timestamp    = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/MostefaouiR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HurfinMRM01,
  author       = {Michel Hurfin and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Raimundo A. Mac{\^{e}}do},
  title        = {A Consensus Protocol Based on a Weak FailureDetector and a Sliding
                  Round Window},
  booktitle    = {20th Symposium on Reliable Distributed Systems {(SRDS} 2001), 28-31
                  October 2001, New Orleans, LA, {USA}},
  pages        = {120--129},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/RELDIS.2001.969766},
  doi          = {10.1109/RELDIS.2001.969766},
  timestamp    = {Thu, 25 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/srds/HurfinMRM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/MostefaouiRR01,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal},
  editor       = {Jeffrey Scott Vitter and
                  Paul G. Spirakis and
                  Mihalis Yannakakis},
  title        = {Conditions on input vectors for consensus solvability in asynchronous
                  distributed systems},
  booktitle    = {Proceedings on 33rd Annual {ACM} Symposium on Theory of Computing,
                  July 6-8, 2001, Heraklion, Crete, Greece},
  pages        = {153--162},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/380752.380792},
  doi          = {10.1145/380752.380792},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/MostefaouiRR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HelaryMNR00,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Robert H. B. Netzer and
                  Michel Raynal},
  title        = {Communication-Based Prevention of Useless Checkpoints in Fistributed
                  Computations},
  journal      = {Distributed Comput.},
  volume       = {13},
  number       = {1},
  pages        = {29--43},
  year         = {2000},
  url          = {https://doi.org/10.1007/s004460050003},
  doi          = {10.1007/S004460050003},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/HelaryMNR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MostefaouiRT00,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Frederic Tronel},
  title        = {From Binary Consensus to Multivalued Consensus in asynchronous message-passing
                  systems},
  journal      = {Inf. Process. Lett.},
  volume       = {73},
  number       = {5-6},
  pages        = {207--212},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0020-0190(00)00027-2},
  doi          = {10.1016/S0020-0190(00)00027-2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/MostefaouiRT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/HelaryHMRT00,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Michel Hurfin and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Frederic Tronel},
  title        = {Computing Global Functions in Asynchronous Distributed Systems with
                  Perfect Failure Detectors},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {11},
  number       = {9},
  pages        = {897--909},
  year         = {2000},
  url          = {https://doi.org/10.1109/71.879773},
  doi          = {10.1109/71.879773},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/HelaryHMRT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MostefaouiRT00,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Frederic Tronel},
  title        = {The Best of Both Worlds: {A} Hybrid Approach to Solve Consensus},
  booktitle    = {2000 International Conference on Dependable Systems and Networks {(DSN}
                  2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
                  NY, {USA}},
  pages        = {513--522},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICDSN.2000.857584},
  doi          = {10.1109/ICDSN.2000.857584},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MostefaouiRT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HelaryHMRT00,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Michel Hurfin and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Frederic Tronel},
  title        = {Computing Global Functions in Asynchronous Distributed Systems Prone
                  to Process Crashes},
  booktitle    = {Proceedings of the 20th International Conference on Distributed Computing
                  Systems, Taipei, Taiwan, April 10-13, 2000},
  pages        = {584--591},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICDCS.2000.840973},
  doi          = {10.1109/ICDCS.2000.840973},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/HelaryHMRT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MostefaouiR00,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Consensus Based on Failure Detectors with a Perpetual Accuracy Property},
  booktitle    = {Proceedings of the 14th International Parallel {\&} Distributed
                  Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000},
  pages        = {514--519},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/IPDPS.2000.846029},
  doi          = {10.1109/IPDPS.2000.846029},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/MostefaouiR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiR00,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Gil Neiger},
  title        = {k-set agreement with limited accuracy failure detectors},
  booktitle    = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}},
  pages        = {143--152},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/343477.343536},
  doi          = {10.1145/343477.343536},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MostefaouiR00,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Low cost consensus-based Atomic Broadcast},
  booktitle    = {2000 Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2000), 18-20 December 2000, Los Angeles, CA, {USA}},
  pages        = {45--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/PRDC.2000.897283},
  doi          = {10.1109/PRDC.2000.897283},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MostefaouiR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/HelaryMR99,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Communication-Induced Determination of Consistent Snapshots},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {10},
  number       = {9},
  pages        = {865--877},
  year         = {1999},
  url          = {https://doi.org/10.1109/71.798312},
  doi          = {10.1109/71.798312},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/HelaryMR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/GuerraouiHMORS99,
  author       = {Rachid Guerraoui and
                  Michel Hurfin and
                  Achour Most{\'{e}}faoui and
                  Rui Carlos Oliveira and
                  Michel Raynal and
                  Andr{\'{e}} Schiper},
  editor       = {Sacha Krakowiak and
                  Santosh K. Shrivastava},
  title        = {Consensus in Asynchronous Distributed Systems: {A} Concise Guided
                  Tour},
  booktitle    = {Advances in Distributed Systems, Advanced Distributed Computing: From
                  Algorithms to Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1752},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46475-1\_2},
  doi          = {10.1007/3-540-46475-1\_2},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/GuerraouiHMORS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MostefaouiR99,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {C. Pandu Rangan and
                  Venkatesh Raman and
                  Ramaswamy Ramanujam},
  title        = {Unreliable Failure Detectors with Limited Scope Accuracy and an Application
                  to Consensus},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1738},
  pages        = {329--340},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46691-6\_26},
  doi          = {10.1007/3-540-46691-6\_26},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MostefaouiR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/MostefaouiRT99,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Makoto Takizawa},
  editor       = {Victor E. Malyshkin},
  title        = {Consistent Lamport Clocks for Asynchronous Groups with Process Crashes},
  booktitle    = {Parallel Computing Technologies, 5th International Conference, PaCT-99,
                  St. Petersburg, Russia, September 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1662},
  pages        = {98--107},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48387-X\_11},
  doi          = {10.1007/3-540-48387-X\_11},
  timestamp    = {Mon, 26 Jun 2023 20:46:47 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/MostefaouiRT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/MostefaouiRV99,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Paulo Ver{\'{\i}}ssimo},
  editor       = {Victor E. Malyshkin},
  title        = {Logically Instantaneous Communication on Top of Distributed Memory
                  Parallel Machines},
  booktitle    = {Parallel Computing Technologies, 5th International Conference, PaCT-99,
                  St. Petersburg, Russia, September 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1662},
  pages        = {258--270},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48387-X\_28},
  doi          = {10.1007/3-540-48387-X\_28},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/MostefaouiRV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/MostefaouiRT99,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Makoto Takizawa},
  editor       = {Hamid R. Arabnia},
  title        = {Logical Clocks for Unreliable Process Groups},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 1999, June 28 - July
                  1, 1999, Las Vegas, Nevada, {USA}},
  pages        = {2272--2278},
  publisher    = {{CSREA} Press},
  year         = {1999},
  timestamp    = {Tue, 30 Jul 2024 10:34:32 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpta/MostefaouiRT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MostefaouiR99,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Prasad Jayanti},
  title        = {Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors:
                  {A} General Quorum-Based Approach},
  booktitle    = {Distributed Computing, 13th International Symposium, Bratislava, Slovak
                  Republic, September 27-29, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1693},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48169-9\_4},
  doi          = {10.1007/3-540-48169-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MostefaouiR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/HelaryMR98,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Communication-Induced Determination of Consistent Snapshots},
  booktitle    = {Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium
                  on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998},
  pages        = {208--217},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/FTCS.1998.689472},
  doi          = {10.1109/FTCS.1998.689472},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/HelaryMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/MostefaouiT98,
  author       = {Achour Most{\'{e}}faoui and
                  Oliver E. Theel},
  title        = {Shrinking Timestamp Sizes of Event Ordering Protocols},
  booktitle    = {International Conference on Parallel and Distributed Systems, {ICPADS}
                  '98, Tainan, Taiwan, December 14-16, 1998},
  pages        = {193--202},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICPADS.1998.741041},
  doi          = {10.1109/ICPADS.1998.741041},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/MostefaouiT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/FritzkeIMR98,
  author       = {Udo Fritzke Jr. and
                  Philippe Ingels and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Fault-Tolerant Total Order Multicast to Asynchronous Groups},
  booktitle    = {The Seventeenth Symposium on Reliable Distributed Systems, {SRDS}
                  1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings},
  pages        = {228--234},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/RELDIS.1998.740503},
  doi          = {10.1109/RELDIS.1998.740503},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/FritzkeIMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HurfinMR98,
  author       = {Michel Hurfin and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Consensus in Asynchronous Systems Where Processes Can Crash and Recover},
  booktitle    = {The Seventeenth Symposium on Reliable Distributed Systems, {SRDS}
                  1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings},
  pages        = {280--286},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/RELDIS.1998.740510},
  doi          = {10.1109/RELDIS.1998.740510},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/HurfinMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/BaldoniHMR97,
  author       = {Roberto Baldoni and
                  Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Adaptive checkpointing in message passing distributed systems},
  journal      = {Int. J. Syst. Sci.},
  volume       = {28},
  number       = {11},
  pages        = {1145--1161},
  year         = {1997},
  url          = {https://doi.org/10.1080/00207729708929474},
  doi          = {10.1080/00207729708929474},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsysc/BaldoniHMR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apdc/BaldoniHMR97,
  author       = {Roberto Baldoni and
                  Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Consistent State Restoration in Shared Memory Systems},
  booktitle    = {Proceedings of the 1997 Advances in Parallel and Distributed Computing
                  Conference {(APDC} '97), March 19-21, 1997, Shanghai, China},
  pages        = {330--337},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/APDC.1997.574051},
  doi          = {10.1109/APDC.1997.574051},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apdc/BaldoniHMR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/BaldoniHMR97,
  author       = {Roberto Baldoni and
                  Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency
                  Trackability},
  booktitle    = {Digest of Papers: FTCS-27, The Twenty-Seventh Annual International
                  Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June
                  24-27, 1997},
  pages        = {68--77},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/FTCS.1997.614079},
  doi          = {10.1109/FTCS.1997.614079},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/BaldoniHMR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/HelaryMR97,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Alain Bui and
                  Marc Bui and
                  Vincent Villain},
  title        = {Cycle Prevention in Distributed Checkpointing},
  booktitle    = {On Principles Of Distributed Systems, Proceedings of the 1997 International
                  Conference, Chantilly, France, December 10-12, 1997},
  pages        = {309--318},
  publisher    = {Hermes},
  year         = {1997},
  timestamp    = {Mon, 26 Jan 2004 15:16:53 +0100},
  biburl       = {https://dblp.org/rec/conf/opodis/HelaryMR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HelaryMNR97,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Robert H. B. Netzer and
                  Michel Raynal},
  title        = {Preventing Useless Checkpoints in Distributed Computations},
  booktitle    = {The Sixteenth Symposium on Reliable Distributed Systems, {SRDS} 1997,
                  Durham, North Carolina, USA, October 22-24, 1997, Proceedings},
  pages        = {183--190},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/RELDIS.1997.632814},
  doi          = {10.1109/RELDIS.1997.632814},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/HelaryMNR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/HelaryMR97,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Marios Mavronicolas and
                  Philippas Tsigas},
  title        = {Virtual Precedence in Asynchronous Systems: Cencept and Applications},
  booktitle    = {Distributed Algorithms, 11th International Workshop, {WDAG} '97, Saarbr{\"{u}}cken,
                  Germany, September 24-26, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1320},
  pages        = {170--184},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0030683},
  doi          = {10.1007/BFB0030683},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/HelaryMR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BaldoniMR96,
  author       = {Roberto Baldoni and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Causal Delivery of Messages with Real-Time Data in Unreliable Networks},
  journal      = {Real Time Syst.},
  volume       = {10},
  number       = {3},
  pages        = {245--262},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00383387},
  doi          = {10.1007/BF00383387},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BaldoniMR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/MostefaouiR96,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Andrzej Hlawiczka and
                  Jo{\~{a}}o Gabriel Silva and
                  Luca Simoncini},
  title        = {Efficient Message Logging for Uncoordinated Checkpointing Protocols},
  booktitle    = {Dependable Computing - EDCC-2, Second European Dependable Computing
                  Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1150},
  pages        = {353--364},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61772-8\_48},
  doi          = {10.1007/3-540-61772-8\_48},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/MostefaouiR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdcs/BaldoniBHMR95,
  author       = {Roberto Baldoni and
                  Jerzy Brzezinski and
                  Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Characterization of Consistent Global Checkpoints in Large-Scale Distributed
                  Systems},
  booktitle    = {5th {IEEE} Workshop on Future Trends of Distributed Computing Systems
                  {(FTDCS} 1995), August 28-30, 1995, Chenju, Korea, Proceedings},
  pages        = {314--323},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/FTDCS.1995.525000},
  doi          = {10.1109/FTDCS.1995.525000},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftdcs/BaldoniBHMR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/BaldoniMR95,
  author       = {Roberto Baldoni and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {Efficient Causally Ordered Communications for Multimedia Real-Time
                  Applications},
  booktitle    = {Proceedings of the 4th International Symposium on High Performance
                  Distributed Computing {(HPDC} '95), Washington, DC, USA, August 2-4,
                  1995},
  pages        = {140--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/HPDC.1995.518704},
  doi          = {10.1109/HPDC.1995.518704},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpdc/BaldoniMR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpcs/MaddiM95,
  author       = {Aomar Maddi and
                  Achour Most{\'{e}}faoui},
  editor       = {M. H. Hamza},
  title        = {Token Based Distributed Algorithms to the {M} Resources Allocation
                  Problem},
  booktitle    = {Proceedings of the Seventh {IASTED/ISMM} International Conference
                  on Parallel and Distributed Computing and Systems, Washington, D.C.,
                  USA, October 19-21, 1995},
  pages        = {193--196},
  publisher    = {{IASTED/ACTA} Press},
  year         = {1995},
  timestamp    = {Tue, 16 Sep 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpcs/MaddiM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/HelaryMR94,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal},
  title        = {A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion
                  Algorithms},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {5},
  number       = {11},
  pages        = {1185--1196},
  year         = {1994},
  url          = {https://doi.org/10.1109/71.329670},
  doi          = {10.1109/71.329670},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/HelaryMR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apdc/MostefaouiR94,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal},
  editor       = {Claude Girault},
  title        = {Definition and Implementation of a Flexible Communication Primitive
                  for Distributed Programming},
  booktitle    = {Applications in Parallel and Distributed Computing, Proceedings of
                  the {IFIP} {WG10.3} Working Conference on Applications in Parallel
                  and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994},
  series       = {{IFIP} Transactions},
  volume       = {{A-44}},
  pages        = {115--124},
  publisher    = {North-Holland},
  year         = {1994},
  timestamp    = {Fri, 07 Jun 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apdc/MostefaouiR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HelaryM94,
  author       = {Jean{-}Michel H{\'{e}}lary and
                  Achour Most{\'{e}}faoui},
  title        = {A O(log\({}_{\mbox{2}}\) n) Fault-Tolerant Distributed Mutual Exclusion
                  Algorithm Based on Open-Cube Structure},
  booktitle    = {Proceedings of the 14th International Conference on Distributed Computing
                  Systems, Poznan, Poland, June 21-24, 1994},
  pages        = {89--96},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICDCS.1994.302397},
  doi          = {10.1109/ICDCS.1994.302397},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/HelaryM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}