Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Armando Castañeda
@article{DBLP:journals/jpdc/CastanedaP24,
author = {Armando Casta{\~{n}}eda and
Miguel Pi{\~{n}}a},
title = {Read/write fence-free work-stealing with multiplicity},
journal = {J. Parallel Distributed Comput.},
volume = {186},
pages = {104816},
year = {2024},
url = {https://doi.org/10.1016/j.jpdc.2023.104816},
doi = {10.1016/J.JPDC.2023.104816},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/CastanedaP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13618,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Constantin Enea},
title = {Strong Linearizability using Primitives with Consensus Number 2},
journal = {CoRR},
volume = {abs/2402.13618},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13618},
doi = {10.48550/ARXIV.2402.13618},
eprinttype = {arXiv},
eprint = {2402.13618},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CastanedaRR23,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
title = {A Linearizability-based Hierarchy for Concurrent Specifications},
journal = {Commun. {ACM}},
volume = {66},
number = {1},
pages = {86--97},
year = {2023},
url = {https://doi.org/10.1145/3546826},
doi = {10.1145/3546826},
timestamp = {Fri, 13 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CastanedaRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/CastanedaRR23,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
title = {Set-Linearizable Implementations from Read/Write Operations: Sets,
Fetch {\&}Increment, Stacks and Queues with Multiplicity},
journal = {Distributed Comput.},
volume = {36},
number = {2},
pages = {89--106},
year = {2023},
url = {https://doi.org/10.1007/s00446-022-00440-y},
doi = {10.1007/S00446-022-00440-Y},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/CastanedaRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CastanedaFPRRT23,
author = {Armando Casta{\~{n}}eda and
Pierre Fraigniaud and
Ami Paz and
Sergio Rajsbaum and
Matthieu Roy and
Corentin Travers},
title = {Synchronous \emph{t}-resilient consensus in arbitrary graphs},
journal = {Inf. Comput.},
volume = {292},
pages = {105035},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105035},
doi = {10.1016/J.IC.2023.105035},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CastanedaFPRRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CastanedaHQR23,
author = {Armando Casta{\~{n}}eda and
Aur{\'{e}}lie Hurault and
Philippe Qu{\'{e}}innec and
Matthieu Roy},
title = {Tasks in modular proofs of concurrent algorithms},
journal = {Inf. Comput.},
volume = {292},
pages = {105040},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105040},
doi = {10.1016/J.IC.2023.105040},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CastanedaHQR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AttiyaCR23,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
title = {Locally solvable tasks and the limitations of valency arguments},
journal = {J. Parallel Distributed Comput.},
volume = {176},
pages = {28--40},
year = {2023},
url = {https://doi.org/10.1016/j.jpdc.2023.02.002},
doi = {10.1016/J.JPDC.2023.02.002},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/AttiyaCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/CastanedaDRV23,
author = {Armando Casta{\~{n}}eda and
Hans van Ditmarsch and
David A. Rosenblueth and
Diego A. Vel{\'{a}}zquez},
title = {Communication Pattern Logic: Epistemic and Topological Views},
journal = {J. Philos. Log.},
volume = {52},
number = {5},
pages = {1445--1473},
year = {2023},
url = {https://doi.org/10.1007/s10992-023-09713-8},
doi = {10.1007/S10992-023-09713-8},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/CastanedaDRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaR23,
author = {Armando Casta{\~{n}}eda and
Gilde Valeria Rodr{\'{\i}}guez},
editor = {Rotem Oshman and
Alexandre Nolin and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Alkida Balliu},
title = {Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability},
booktitle = {Proceedings of the 2023 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2023, Orlando, FL, USA, June 19-23, 2023},
pages = {90--101},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583668.3594563},
doi = {10.1145/3583668.3594563},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/CastanedaR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AttiyaCN23,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Thomas Nowak},
editor = {Rotem Oshman},
title = {Topological Characterization of Task Solvability in General Models
of Computation},
booktitle = {37th International Symposium on Distributed Computing, {DISC} 2023,
October 10-12, 2023, L'Aquila, Italy},
series = {LIPIcs},
volume = {281},
pages = {5:1--5:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.DISC.2023.5},
doi = {10.4230/LIPICS.DISC.2023.5},
timestamp = {Thu, 05 Oct 2023 15:45:05 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AttiyaCN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-05057,
author = {Armando Casta{\~{n}}eda and
Hans van Ditmarsch and
David A. Rosenblueth and
Diego A. Vel{\'{a}}zquez},
editor = {Rineke Verbrugge},
title = {Comparing the Update Expressivity of Communication Patterns and Action
Models},
booktitle = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
series = {{EPTCS}},
volume = {379},
pages = {157--172},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.379.14},
doi = {10.4204/EPTCS.379.14},
timestamp = {Fri, 11 Aug 2023 14:29:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02638,
author = {Armando Casta{\~{n}}eda and
Gilde Valeria Rodr{\'{\i}}guez},
title = {Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability},
journal = {CoRR},
volume = {abs/2301.02638},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02638},
doi = {10.48550/ARXIV.2301.02638},
eprinttype = {arXiv},
eprint = {2301.02638},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13837,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Thomas Nowak},
title = {Topological Characterization of Task Solvability in General Models
of Computation},
journal = {CoRR},
volume = {abs/2301.13837},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13837},
doi = {10.48550/ARXIV.2301.13837},
eprinttype = {arXiv},
eprint = {2301.13837},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CastanedaDKM023,
author = {Armando Casta{\~{n}}eda and
Hans van Ditmarsch and
Roman Kuznets and
Yoram Moses and
Ulrich Schmid},
title = {Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl
Seminar 23272)},
journal = {Dagstuhl Reports},
volume = {13},
number = {7},
pages = {34--65},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.7.34},
doi = {10.4230/DAGREP.13.7.34},
timestamp = {Thu, 14 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CastanedaDKM023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/CastanedaGM22,
author = {Armando Casta{\~{n}}eda and
Yannai A. Gonczarowski and
Yoram Moses},
title = {Unbeatable consensus},
journal = {Distributed Comput.},
volume = {35},
number = {2},
pages = {123--143},
year = {2022},
url = {https://doi.org/10.1007/s00446-021-00417-3},
doi = {10.1007/S00446-021-00417-3},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/CastanedaGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AttiyaCHP22,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Danny Hendler and
Matthieu Perrin},
title = {Separating lock-freedom from wait-freedom at every level of the consensus
hierarchy},
journal = {J. Parallel Distributed Comput.},
volume = {163},
pages = {181--197},
year = {2022},
url = {https://doi.org/10.1016/j.jpdc.2022.01.025},
doi = {10.1016/J.JPDC.2022.01.025},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/AttiyaCHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaRR22,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {A Snapshot-Based Introduction to the Linearizability Hierarchy},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {3--15},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_1},
doi = {10.1007/978-3-031-17436-0\_1},
timestamp = {Tue, 04 Oct 2022 18:09:10 +0200},
biburl = {https://dblp.org/rec/conf/netys/CastanedaRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/latin/2022,
editor = {Armando Casta{\~{n}}eda and
Francisco Rodr{\'{\i}}guez{-}Henr{\'{\i}}quez},
title = {{LATIN} 2022: Theoretical Informatics - 15th Latin American Symposium,
Guanajuato, Mexico, November 7-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13568},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20624-5},
doi = {10.1007/978-3-031-20624-5},
isbn = {978-3-031-20623-8},
timestamp = {Thu, 03 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/latin/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06323,
author = {Armando Casta{\~{n}}eda and
Miguel Pi{\~{n}}a},
title = {Modular Baskets Queue},
journal = {CoRR},
volume = {abs/2205.06323},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06323},
doi = {10.48550/ARXIV.2205.06323},
eprinttype = {arXiv},
eprint = {2205.06323},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00823,
author = {Armando Casta{\~{n}}eda and
Hans van Ditmarsch and
David A. Rosenblueth and
Diego A. Vel{\'{a}}zquez},
title = {Communication Pattern Logic: Epistemic and Topological Views},
journal = {CoRR},
volume = {abs/2207.00823},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00823},
doi = {10.48550/ARXIV.2207.00823},
eprinttype = {arXiv},
eprint = {2207.00823},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastanedaFPRRT21,
author = {Armando Casta{\~{n}}eda and
Pierre Fraigniaud and
Ami Paz and
Sergio Rajsbaum and
Matthieu Roy and
Corentin Travers},
title = {A topological perspective on distributed network algorithms},
journal = {Theor. Comput. Sci.},
volume = {849},
pages = {121--137},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.10.012},
doi = {10.1016/J.TCS.2020.10.012},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CastanedaFPRRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CastanedaP21,
author = {Armando Casta{\~{n}}eda and
Miguel Pi{\~{n}}a},
editor = {Seth Gilbert},
title = {Fully Read/Write Fence-Free Work-Stealing with Multiplicity},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021,
October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {16:1--16:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.16},
doi = {10.4230/LIPICS.DISC.2021.16},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CastanedaP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11508,
author = {Diego A. Vel{\'{a}}zquez and
Armando Casta{\~{n}}eda and
David A. Rosenblueth},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {Communication Pattern Models: An Extension of Action Models for Dynamic-Network
Distributed Systems},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {307--321},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.29},
doi = {10.4204/EPTCS.335.29},
timestamp = {Mon, 05 Jul 2021 13:50:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/CastanedaLT20,
author = {Armando Casta{\~{n}}eda and
Jonas Lef{\`{e}}vre and
Amitabh Trehan},
editor = {Nandini Mukherjee and
Sriram V. Pemmaraju},
title = {Fully Compact Routing in Low Memory Self-Healing Trees},
booktitle = {{ICDCN} 2020: 21st International Conference on Distributed Computing
and Networking, Kolkata, India, January 4-7, 2020},
pages = {21:1--21:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3369740.3369786},
doi = {10.1145/3369740.3369786},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/CastanedaLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/CastanedaRR20,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
editor = {Quentin Bramas and
Rotem Oshman and
Paolo Romano},
title = {Relaxed Queues and Stacks from Read/Write Operations},
booktitle = {24th International Conference on Principles of Distributed Systems,
{OPODIS} 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference)},
series = {LIPIcs},
volume = {184},
pages = {13:1--13:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2020.13},
doi = {10.4230/LIPICS.OPODIS.2020.13},
timestamp = {Mon, 25 Jan 2021 15:39:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/CastanedaRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AttiyaCR20,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
editor = {Quentin Bramas and
Rotem Oshman and
Paolo Romano},
title = {Locally Solvable Tasks and the Limitations of Valency Arguments},
booktitle = {24th International Conference on Principles of Distributed Systems,
{OPODIS} 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference)},
series = {LIPIcs},
volume = {184},
pages = {18:1--18:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2020.18},
doi = {10.4230/LIPICS.OPODIS.2020.18},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/AttiyaCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ShimiC20,
author = {Adam Shimi and
Armando Casta{\~{n}}eda},
editor = {Yuval Emek and
Christian Cachin},
title = {K-set agreement bounds in round-based models through combinatorial
topology},
booktitle = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, August 3-7, 2020},
pages = {395--404},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382734.3405752},
doi = {10.1145/3382734.3405752},
timestamp = {Tue, 04 Aug 2020 16:04:51 +0200},
biburl = {https://dblp.org/rec/conf/podc/ShimiC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-02869,
author = {Adam Shimi and
Armando Casta{\~{n}}eda},
title = {K set-agreement bounds in round-based models through combinatorial
topology},
journal = {CoRR},
volume = {abs/2003.02869},
year = {2020},
url = {https://arxiv.org/abs/2003.02869},
eprinttype = {arXiv},
eprint = {2003.02869},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-02869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-05427,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
title = {What Can Be Done with Consensus Number One: Relaxed Queues and Stacks},
journal = {CoRR},
volume = {abs/2005.05427},
year = {2020},
url = {https://arxiv.org/abs/2005.05427},
eprinttype = {arXiv},
eprint = {2005.05427},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-05427.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04424,
author = {Armando Casta{\~{n}}eda and
Miguel Pi{\~{n}}a},
title = {Fully Read/Write Fence-Free Work-Stealing with Multiplicity},
journal = {CoRR},
volume = {abs/2008.04424},
year = {2020},
url = {https://arxiv.org/abs/2008.04424},
eprinttype = {arXiv},
eprint = {2008.04424},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-10436,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
title = {Locally Solvable Tasks and the Limitations of Valency Arguments},
journal = {CoRR},
volume = {abs/2011.10436},
year = {2020},
url = {https://arxiv.org/abs/2011.10436},
eprinttype = {arXiv},
eprint = {2011.10436},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-10436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AlcantaraCFR19,
author = {Manuel Alcantara and
Armando Casta{\~{n}}eda and
David Flores{-}Pe{\~{n}}aloza and
Sergio Rajsbaum},
title = {The topology of look-compute-move robot wait-free algorithms with
hard termination},
journal = {Distributed Comput.},
volume = {32},
number = {3},
pages = {235--255},
year = {2019},
url = {https://doi.org/10.1007/s00446-018-0345-3},
doi = {10.1007/S00446-018-0345-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AlcantaraCFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CastanedaDFRR19,
author = {Armando Casta{\~{n}}eda and
Carole Delporte{-}Gallet and
Hugues Fauconnier and
Sergio Rajsbaum and
Michel Raynal},
title = {Making Local Algorithms Wait-Free: the Case of Ring Coloring},
journal = {Theory Comput. Syst.},
volume = {63},
number = {2},
pages = {344--365},
year = {2019},
url = {https://doi.org/10.1007/s00224-017-9772-y},
doi = {10.1007/S00224-017-9772-Y},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CastanedaDFRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/AttiyaCHP19,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Maurice Herlihy and
Ami Paz},
title = {Bounds on the Step and Namespace Complexity of Renaming},
journal = {{SIAM} J. Comput.},
volume = {48},
number = {1},
pages = {1--32},
year = {2019},
url = {https://doi.org/10.1137/16M1081439},
doi = {10.1137/16M1081439},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/AttiyaCHP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/CastanedaFPRRT19,
author = {Armando Casta{\~{n}}eda and
Pierre Fraigniaud and
Ami Paz and
Sergio Rajsbaum and
Matthieu Roy and
Corentin Travers},
editor = {Keren Censor{-}Hillel and
Michele Flammini},
title = {A Topological Perspective on Distributed Network Algorithms},
booktitle = {Structural Information and Communication Complexity - 26th International
Colloquium, {SIROCCO} 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11639},
pages = {3--18},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24922-9\_1},
doi = {10.1007/978-3-030-24922-9\_1},
timestamp = {Mon, 15 Jul 2019 16:09:50 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/CastanedaFPRRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CastanedaFPRRT19,
author = {Armando Casta{\~{n}}eda and
Pierre Fraigniaud and
Ami Paz and
Sergio Rajsbaum and
Matthieu Roy and
Corentin Travers},
editor = {Mohsen Ghaffari and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil and
Sara Tucci and
Yukiko Yamauchi},
title = {Synchronous t-Resilient Consensus in Arbitrary Graphs},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 21st
International Symposium, {SSS} 2019, Pisa, Italy, October 22-25, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11914},
pages = {53--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34992-9\_5},
doi = {10.1007/978-3-030-34992-9\_5},
timestamp = {Mon, 23 May 2022 11:50:06 +0200},
biburl = {https://dblp.org/rec/conf/sss/CastanedaFPRRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CastanedaHQR19,
author = {Armando Casta{\~{n}}eda and
Aur{\'{e}}lie Hurault and
Philippe Qu{\'{e}}innec and
Matthieu Roy},
editor = {Mohsen Ghaffari and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil and
Sara Tucci and
Yukiko Yamauchi},
title = {Tasks in Modular Proofs of Concurrent Algorithms},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 21st
International Symposium, {SSS} 2019, Pisa, Italy, October 22-25, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11914},
pages = {69--83},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34992-9\_6},
doi = {10.1007/978-3-030-34992-9\_6},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/CastanedaHQR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03565,
author = {Armando Casta{\~{n}}eda and
Pierre Fraigniaud and
Ami Paz and
Sergio Rajsbaum and
Matthieu Roy and
Corentin Travers},
title = {A Topological Perspective on Distributed Network Algorithms},
journal = {CoRR},
volume = {abs/1907.03565},
year = {2019},
url = {http://arxiv.org/abs/1907.03565},
eprinttype = {arXiv},
eprint = {1907.03565},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05537,
author = {Armando Casta{\~{n}}eda and
Aur{\'{e}}lie Hurault and
Philippe Qu{\'{e}}innec and
Matthieu Roy},
title = {Tasks in Modular Proofs of Concurrent Algorithms},
journal = {CoRR},
volume = {abs/1909.05537},
year = {2019},
url = {http://arxiv.org/abs/1909.05537},
eprinttype = {arXiv},
eprint = {1909.05537},
timestamp = {Wed, 18 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CastanedaRR18,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
title = {Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability},
journal = {J. {ACM}},
volume = {65},
number = {6},
pages = {45:1--45:42},
year = {2018},
url = {https://doi.org/10.1145/3266457},
doi = {10.1145/3266457},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/CastanedaRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/CastanedaRR18,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Matthieu Roy},
title = {Convergence and covering on graphs for wait-free robots},
journal = {J. Braz. Comput. Soc.},
volume = {24},
number = {1},
pages = {1:1--1:15},
year = {2018},
url = {https://doi.org/10.1186/s13173-017-0065-8},
doi = {10.1186/S13173-017-0065-8},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/CastanedaRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AttiyaCH18,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Danny Hendler},
title = {Nontrivial and universal helping for wait-free queues and stacks},
journal = {J. Parallel Distributed Comput.},
volume = {121},
pages = {1--14},
year = {2018},
url = {https://doi.org/10.1016/j.jpdc.2018.06.004},
doi = {10.1016/J.JPDC.2018.06.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/AttiyaCH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastanedaDT18,
author = {Armando Casta{\~{n}}eda and
Danny Dolev and
Amitabh Trehan},
title = {Compact routing messages in self-healing trees},
journal = {Theor. Comput. Sci.},
volume = {709},
pages = {2--19},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2016.11.022},
doi = {10.1016/J.TCS.2016.11.022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CastanedaDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaCHP18,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Danny Hendler and
Matthieu Perrin},
editor = {Calvin Newport and
Idit Keidar},
title = {Separating Lock-Freedom from Wait-Freedom},
booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2018, Egham, United Kingdom, July 23-27, 2018},
pages = {41--50},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3212734.3212739},
doi = {10.1145/3212734.3212739},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/AttiyaCHP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-03042,
author = {Armando Casta{\~{n}}eda and
Jonas Lef{\`{e}}vre and
Amitabh Trehan},
title = {Self-healing Routing and Other Problems in Compact Memory},
journal = {CoRR},
volume = {abs/1803.03042},
year = {2018},
url = {http://arxiv.org/abs/1803.03042},
eprinttype = {arXiv},
eprint = {1803.03042},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-03042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RajsbaumCFA17,
author = {Sergio Rajsbaum and
Armando Casta{\~{n}}eda and
David Flores{-}Pe{\~{n}}aloza and
Manuel Alcantara},
title = {Fault-Tolerant Robot Gathering Problems on Graphs With Arbitrary Appearing
Times},
booktitle = {2017 {IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2017, Orlando, FL, USA, May 29 - June 2, 2017},
pages = {493--502},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IPDPS.2017.70},
doi = {10.1109/IPDPS.2017.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/RajsbaumCFA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaMRR17,
author = {Armando Casta{\~{n}}eda and
Yoram Moses and
Michel Raynal and
Matthieu Roy},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Early Decision and Stopping in Synchronous Consensus: {A} Predicate-Based
Guided Tour},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {206--221},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_16},
doi = {10.1007/978-3-319-59647-1\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/CastanedaMRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaRR17,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Long-Lived Tasks},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {439--454},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_32},
doi = {10.1007/978-3-319-59647-1\_32},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/CastanedaRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CastanedaIRR16,
author = {Armando Casta{\~{n}}eda and
Damien Imbs and
Sergio Rajsbaum and
Michel Raynal},
title = {Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent
Objects},
journal = {{SIAM} J. Comput.},
volume = {45},
number = {2},
pages = {379--414},
year = {2016},
url = {https://doi.org/10.1137/130936828},
doi = {10.1137/130936828},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/CastanedaIRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/CastanedaDT16,
author = {Armando Casta{\~{n}}eda and
Danny Dolev and
Amitabh Trehan},
title = {Compact routing messages in self-healing trees},
booktitle = {Proceedings of the 17th International Conference on Distributed Computing
and Networking, Singapore, January 4-7, 2016},
pages = {23:1--23:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2833312.2833328},
doi = {10.1145/2833312.2833328},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/CastanedaDT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CastanedaRR16,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Matthieu Roy},
title = {Two Convergence Problems for Robots on Graphs},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.21},
doi = {10.1109/LADC.2016.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CastanedaRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaGM16,
author = {Armando Casta{\~{n}}eda and
Yannai A. Gonczarowski and
Yoram Moses},
editor = {George Giakkoupis},
title = {Unbeatable Set Consensus via Topological and Combinatorial Reasoning},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {107--116},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933120},
doi = {10.1145/2933057.2933120},
timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
biburl = {https://dblp.org/rec/conf/podc/CastanedaGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaFGRR16,
author = {Armando Casta{\~{n}}eda and
Pierre Fraigniaud and
Eli Gafni and
Sergio Rajsbaum and
Matthieu Roy},
editor = {George Giakkoupis},
title = {Brief Announcement: Asynchronous Coordination with Constraints and
Preferences},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {299--301},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933081},
doi = {10.1145/2933057.2933081},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CastanedaFGRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/CastanedaFGRR16,
author = {Armando Casta{\~{n}}eda and
Pierre Fraigniaud and
Eli Gafni and
Sergio Rajsbaum and
Matthieu Roy},
editor = {Jukka Suomela},
title = {Asynchronous Coordination Under Preferences and Constraints},
booktitle = {Structural Information and Communication Complexity - 23rd International
Colloquium, {SIROCCO} 2016, Helsinki, Finland, July 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9988},
pages = {111--126},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48314-6\_8},
doi = {10.1007/978-3-319-48314-6\_8},
timestamp = {Tue, 29 Dec 2020 18:39:44 +0100},
biburl = {https://dblp.org/rec/conf/sirocco/CastanedaFGRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CastanedaDFRR16,
author = {Armando Casta{\~{n}}eda and
Carole Delporte and
Hugues Fauconnier and
Sergio Rajsbaum and
Michel Raynal},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Making Local Algorithms Wait-Free: The Case of Ring Coloring},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {109--125},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_9},
doi = {10.1007/978-3-319-49259-9\_9},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/CastanedaDFRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastanedaGM16,
author = {Armando Casta{\~{n}}eda and
Yannai A. Gonczarowski and
Yoram Moses},
title = {Unbeatable Set Consensus via Topological and Combinatorial Reasoning},
journal = {CoRR},
volume = {abs/1605.07354},
year = {2016},
url = {http://arxiv.org/abs/1605.07354},
eprinttype = {arXiv},
eprint = {1605.07354},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastanedaGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AttiyaCH15,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Danny Hendler},
editor = {Emmanuelle Anceaume and
Christian Cachin and
Maria Gradinariu Potop{-}Butucaru},
title = {Nontrivial and Universal Helping for Wait-Free Queues and Stacks},
booktitle = {19th International Conference on Principles of Distributed Systems,
{OPODIS} 2015, December 14-17, 2015, Rennes, France},
series = {LIPIcs},
volume = {46},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2015.31},
doi = {10.4230/LIPICS.OPODIS.2015.31},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/opodis/AttiyaCH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CastanedaRR15,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
editor = {Yoram Moses},
title = {Specifying Concurrent Problems: Beyond Linearizability and up to Tasks
- (Extended Abstract)},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {420--435},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_28},
doi = {10.1007/978-3-662-48653-5\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CastanedaRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastanedaRR15,
author = {Armando Casta{\~{n}}eda and
Michel Raynal and
Sergio Rajsbaum},
title = {Specifying Concurrent Problems: Beyond Linearizability},
journal = {CoRR},
volume = {abs/1507.00073},
year = {2015},
url = {http://arxiv.org/abs/1507.00073},
eprinttype = {arXiv},
eprint = {1507.00073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastanedaRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastanedaDT15,
author = {Armando Casta{\~{n}}eda and
Danny Dolev and
Amitabh Trehan},
title = {Compact Routing Messages in Self-Healing Trees},
journal = {CoRR},
volume = {abs/1508.04234},
year = {2015},
url = {http://arxiv.org/abs/1508.04234},
eprinttype = {arXiv},
eprint = {1508.04234},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastanedaDT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/CastanedaHR14,
author = {Armando Casta{\~{n}}eda and
Maurice Herlihy and
Sergio Rajsbaum},
title = {An Equivariance Theorem with Applications to Renaming},
journal = {Algorithmica},
volume = {70},
number = {2},
pages = {171--194},
year = {2014},
url = {https://doi.org/10.1007/s00453-013-9855-3},
doi = {10.1007/S00453-013-9855-3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/CastanedaHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CastanedaGM14,
author = {Armando Casta{\~{n}}eda and
Yannai A. Gonczarowski and
Yoram Moses},
editor = {Fabian Kuhn},
title = {Unbeatable Consensus},
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 = {91--106},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45174-8\_7},
doi = {10.1007/978-3-662-45174-8\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CastanedaGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastanedaGM14,
author = {Armando Casta{\~{n}}eda and
Yannai A. Gonczarowski and
Yoram Moses},
title = {Unbeatable Consensus},
journal = {CoRR},
volume = {abs/1410.2501},
year = {2014},
url = {http://arxiv.org/abs/1410.2501},
eprinttype = {arXiv},
eprint = {1410.2501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastanedaGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AttiyaC13,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda},
title = {A non-topological proof for the impossibility of k-set agreement},
journal = {Theor. Comput. Sci.},
volume = {512},
pages = {41--48},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.09.012},
doi = {10.1016/J.TCS.2012.09.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AttiyaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CastanedaRR13,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
title = {Agreement via Symmetry Breaking: On the Structure of Weak Subconsensus
Tasks},
booktitle = {27th {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2013, Cambridge, MA, USA, May 20-24, 2013},
pages = {1147--1158},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IPDPS.2013.41},
doi = {10.1109/IPDPS.2013.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CastanedaRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaR13,
author = {Armando Casta{\~{n}}eda and
Michel Raynal},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {On the Consensus Number of Non-adaptive Perfect Renaming},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {1--12},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_1},
doi = {10.1007/978-3-642-40148-0\_1},
timestamp = {Wed, 07 Dec 2022 23:13:48 +0100},
biburl = {https://dblp.org/rec/conf/netys/CastanedaR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaGM13,
author = {Armando Casta{\~{n}}eda and
Yannai A. Gonczarowski and
Yoram Moses},
editor = {Panagiota Fatourou and
Gadi Taubenfeld},
title = {Brief announcement: pareto optimal solutions to consensus and set
consensus},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '13,
Montreal, QC, Canada, July 22-24, 2013},
pages = {113--115},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2484239.2484280},
doi = {10.1145/2484239.2484280},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CastanedaGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaCHP13,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Maurice Herlihy and
Ami Paz},
editor = {Panagiota Fatourou and
Gadi Taubenfeld},
title = {Upper bound on the complexity of solving hard renaming},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '13,
Montreal, QC, Canada, July 22-24, 2013},
pages = {190--199},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2484239.2484251},
doi = {10.1145/2484239.2484251},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/AttiyaCHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastanedaGM13,
author = {Armando Casta{\~{n}}eda and
Yannai A. Gonczarowski and
Yoram Moses},
title = {Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus},
journal = {CoRR},
volume = {abs/1311.6902},
year = {2013},
url = {http://arxiv.org/abs/1311.6902},
eprinttype = {arXiv},
eprint = {1311.6902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastanedaGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CastanedaR12,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
title = {New combinatorial topology bounds for renaming: The upper bound},
journal = {J. {ACM}},
volume = {59},
number = {1},
pages = {3:1--3:49},
year = {2012},
url = {https://doi.org/10.1145/2108242.2108245},
doi = {10.1145/2108242.2108245},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CastanedaR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/CastanedaHR12,
author = {Armando Casta{\~{n}}eda and
Maurice Herlihy and
Sergio Rajsbaum},
editor = {David Fern{\'{a}}ndez{-}Baca},
title = {An Equivariance Theorem with Applications to Renaming},
booktitle = {{LATIN} 2012: Theoretical Informatics - 10th Latin American Symposium,
Arequipa, Peru, April 16-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7256},
pages = {133--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29344-3\_12},
doi = {10.1007/978-3-642-29344-3\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/CastanedaHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/CastanedaIRR12,
author = {Armando Casta{\~{n}}eda and
Damien Imbs and
Sergio Rajsbaum and
Michel Raynal},
editor = {David Fern{\'{a}}ndez{-}Baca},
title = {Renaming Is Weaker Than Set Agreement But for Perfect Renaming: {A}
Map of Sub-consensus Tasks},
booktitle = {{LATIN} 2012: Theoretical Informatics - 10th Latin American Symposium,
Arequipa, Peru, April 16-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7256},
pages = {145--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29344-3\_13},
doi = {10.1007/978-3-642-29344-3\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/latin/CastanedaIRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/CastanedaRS12,
author = {Armando Casta{\~{n}}eda and
Michel Raynal and
Julien Stainer},
editor = {Roberto Baldoni and
Paola Flocchini and
Binoy Ravindran},
title = {When and How Process Groups Can Be Used to Reduce the Renaming Space},
booktitle = {Principles of Distributed Systems, 16th International Conference,
{OPODIS} 2012, Rome, Italy, December 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7702},
pages = {91--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35476-2\_7},
doi = {10.1007/978-3-642-35476-2\_7},
timestamp = {Tue, 29 Dec 2020 18:38:45 +0100},
biburl = {https://dblp.org/rec/conf/opodis/CastanedaRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaRR12,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
editor = {Darek Kowalski and
Alessandro Panconesi},
title = {Brief announcement: there are plenty of tasks weaker than perfect
renaming and stronger than set agreement},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
Funchal, Madeira, Portugal, July 16-18, 2012},
pages = {97--98},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2332432.2332451},
doi = {10.1145/2332432.2332451},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CastanedaRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/CastanedaRR11,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
title = {The renaming problem in shared memory systems: An introduction},
journal = {Comput. Sci. Rev.},
volume = {5},
number = {3},
pages = {229--251},
year = {2011},
url = {https://doi.org/10.1016/j.cosrev.2011.04.001},
doi = {10.1016/J.COSREV.2011.04.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csr/CastanedaRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AttiyaC11,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda},
editor = {Xavier D{\'{e}}fago and
Franck Petit and
Vincent Villain},
title = {A Non-topological Proof for the Impossibility of k-Set Agreement},
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 = {108--119},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24550-3\_10},
doi = {10.1007/978-3-642-24550-3\_10},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/AttiyaC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-4946,
author = {Armando Casta{\~{n}}eda and
Maurice Herlihy and
Sergio Rajsbaum},
title = {An Equivariance Theorem with Applications to Renaming (Preliminary
Version)},
journal = {CoRR},
volume = {abs/1102.4946},
year = {2011},
url = {http://arxiv.org/abs/1102.4946},
eprinttype = {arXiv},
eprint = {1102.4946},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-4946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/CastanedaR10,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
title = {New combinatorial topology bounds for renaming: the lower bound},
journal = {Distributed Comput.},
volume = {22},
number = {5-6},
pages = {287--301},
year = {2010},
url = {https://doi.org/10.1007/s00446-010-0108-2},
doi = {10.1007/S00446-010-0108-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/CastanedaR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastanedaR12,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {An Inductive-style Procedure for Counting Monochromatic Simplexes
of Symmetric Subdivisions with Applications to Distributed Computing},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {13--27},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.003},
doi = {10.1016/J.ENTCS.2012.05.003},
timestamp = {Fri, 25 Nov 2022 14:11:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastanedaR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Castaneda08,
author = {Armando Casta{\~{n}}eda},
title = {A review of {PODC} 2008},
journal = {{SIGACT} News},
volume = {39},
number = {4},
pages = {55--59},
year = {2008},
url = {https://doi.org/10.1145/1466390.1466403},
doi = {10.1145/1466390.1466403},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Castaneda08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CastanedaR08,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum},
editor = {Rida A. Bazzi and
Boaz Patt{-}Shamir},
title = {New combinatorial topology upper and lower bounds for renaming},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
2008},
pages = {295--304},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1400751.1400791},
doi = {10.1145/1400751.1400791},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CastanedaR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
