Published in: LIPIcs, Volume 184, 24th International Conference on Principles of Distributed Systems (OPODIS 2020)
Hagit Attiya, Sweta Kumari, and Noa Schiller. Optimal Resilience in Systems That Mix Shared Memory and Message Passing. In 24th International Conference on Principles of Distributed Systems (OPODIS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 184, pp. 16:1-16:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2020.16, author = {Attiya, Hagit and Kumari, Sweta and Schiller, Noa}, title = {{Optimal Resilience in Systems That Mix Shared Memory and Message Passing}}, booktitle = {24th International Conference on Principles of Distributed Systems (OPODIS 2020)}, pages = {16:1--16:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-176-4}, ISSN = {1868-8969}, year = {2021}, volume = {184}, editor = {Bramas, Quentin and Oshman, Rotem and Romano, Paolo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2020.16}, URN = {urn:nbn:de:0030-drops-135019}, doi = {10.4230/LIPIcs.OPODIS.2020.16}, annote = {Keywords: fault resilience, m\&m model, cluster-based model, randomized consensus, approximate agreement, renaming, register implementations, atomic snapshots} }
Published in: LIPIcs, Volume 95, 21st International Conference on Principles of Distributed Systems (OPODIS 2017)
Damien Imbs, Petr Kuznetsov, and Thibault Rieutord. Progress-Space Tradeoffs in Single-Writer Memory Implementations. In 21st International Conference on Principles of Distributed Systems (OPODIS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 95, pp. 9:1-9:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{imbs_et_al:LIPIcs.OPODIS.2017.9, author = {Imbs, Damien and Kuznetsov, Petr and Rieutord, Thibault}, title = {{Progress-Space Tradeoffs in Single-Writer Memory Implementations}}, booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)}, pages = {9:1--9:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-061-3}, ISSN = {1868-8969}, year = {2018}, volume = {95}, editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.9}, URN = {urn:nbn:de:0030-drops-86290}, doi = {10.4230/LIPIcs.OPODIS.2017.9}, annote = {Keywords: Single-writer memory implementation, comparison-based algorithms, space complexity, progress conditions} }
Published in: LIPIcs, Volume 91, 31st International Symposium on Distributed Computing (DISC 2017)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, and Michel Raynal. Which Broadcast Abstraction Captures k-Set Agreement?. In 31st International Symposium on Distributed Computing (DISC 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 91, pp. 27:1-27:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{imbs_et_al:LIPIcs.DISC.2017.27, author = {Imbs, Damien and Most\'{e}faoui, Achour and Perrin, Matthieu and Raynal, Michel}, title = {{Which Broadcast Abstraction Captures k-Set Agreement?}}, booktitle = {31st International Symposium on Distributed Computing (DISC 2017)}, pages = {27:1--27:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-053-8}, ISSN = {1868-8969}, year = {2017}, volume = {91}, editor = {Richa, Andr\'{e}a}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2017.27}, URN = {urn:nbn:de:0030-drops-79943}, doi = {10.4230/LIPIcs.DISC.2017.27}, annote = {Keywords: Agreement problem, Antichain, Asynchronous system, Communication abstraction, Consensus, Message-passing system, Partially ordered set, Process crash} }
Published in: Dagstuhl Reports, Volume 6, Issue 7 (2016)
Dmitry Feichtner-Kozlov and Damien Imbs. Topological Methods in Distributed Computing (Dagstuhl Seminar 16282). In Dagstuhl Reports, Volume 6, Issue 7, pp. 31-41, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{feichtnerkozlov_et_al:DagRep.6.7.31, author = {Feichtner-Kozlov, Dmitry and Imbs, Damien}, title = {{Topological Methods in Distributed Computing (Dagstuhl Seminar 16282)}}, pages = {31--41}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {6}, number = {7}, editor = {Feichtner-Kozlov, Dmitry and Imbs, Damien}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.7.31}, URN = {urn:nbn:de:0030-drops-67614}, doi = {10.4230/DagRep.6.7.31}, annote = {Keywords: combinatorial topology, concurrency, distributed protocols, shared-memory communication, solvability} }
Published in: LIPIcs, Volume 46, 19th International Conference on Principles of Distributed Systems (OPODIS 2015)
Damien Imbs. The Synchronization Power of Atomic Bitwise Operations. In 19th International Conference on Principles of Distributed Systems (OPODIS 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 46, pp. 26:1-26:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{imbs:LIPIcs.OPODIS.2015.26, author = {Imbs, Damien}, title = {{The Synchronization Power of Atomic Bitwise Operations}}, booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)}, pages = {26:1--26:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-98-9}, ISSN = {1868-8969}, year = {2016}, volume = {46}, editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.26}, URN = {urn:nbn:de:0030-drops-66151}, doi = {10.4230/LIPIcs.OPODIS.2015.26}, annote = {Keywords: Asynchronous systems, Binary operations, Consensus, Consensus number, Read/write shared memory, Shared objects, Synchronization, Wait-freedom} }
Feedback for Dagstuhl Publishing