Self-stabilizing Uniform Reliable Broadcast (English)
- New search for: Lundstrom, Oskar
- New search for: Raynal, Michel
- New search for: Schiller, Elad M.
- New search for: Lundstrom, Oskar
- New search for: Raynal, Michel
- New search for: Schiller, Elad M.
In:
Networked systems
; 296-313
;
2021
-
ISBN:
- Conference paper / Print
-
Title:Self-stabilizing Uniform Reliable Broadcast
-
Contributors:
-
Conference:NETYS ; 8. ; 2020 ; Online
-
Published in:Networked systems ; 296-313
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2021
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.32
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.32 Rechnerkommunikation -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
On Network Topologies and the Decidability of Reachability ProblemAiswarya, C. et al. | 2021
- 11
-
Hide Me: Enabling Location Privacy in Heterogeneous Vehicular NetworksMeuser, Hide Tobias / Ojo, Oluwasegun Taiwo / Bischoff, Daniel / Anta, Antonio Fernández / Stavrakakis, loannis / Steinmetz, Ralf et al. | 2021
- 28
-
Blockchains and the CommonsPotop-Butucaru, Maria et al. | 2021
- 47
-
On the State Reachability Problem for Concurrent Programs Under PowerAbdulla, Parosh Aziz / Atig, Mohamed Faouzi / Bouajjani, Ahmed / Derevenetc, Egor / Leonardsson, Carl / Meyer, Roland et al. | 2021
- 60
-
On the Encoding and Solving of Partial Information GamesAmoussou-Guenou, Yackolley / Baarir, Souheib / Potop-Butucaru, Maria / Sznajder, Nathalie / Tible, Léo / Tixeuil, Sébastien et al. | 2021
- 77
-
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional MemoryAnjana, Parwat Singh / Attiya, Hagit / Kumari, Sweta / Peri, Sathya / Somani, Archit et al. | 2021
- 94
-
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic ExecutionBannour, Boutheina / Lapitre, Arnault / Gall, Pascale Le et al. | 2021
- 112
-
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine FaultsBonomi, Silvia / Farina, Giovanni / Tixeuil, Sébastien et al. | 2021
- 129
-
Infinite Grid Exploration by Disoriented RobotsBramas, Quentin / Devismes, Stéphane / Lafourcade, Pascal et al. | 2021
- 146
-
Wireless Broadcast with Short LabelsBu, Gewu / Potop-Butucaru, Maria / Rabie, Mikaël et al. | 2021
- 170
-
The Imitation Game: Algorithm Selection by Exploiting Black-Box RecommendersDamaskinos, Georgios / Guerraoui, Rachid / Merrer, Erwan Le / Neumann, Christoph et al. | 2021
- 183
-
Byzantine k-Set AgreementDelporte-Gallet, Carole / Fauconnier, Hugues / Safir, Mouna et al. | 2021
- 192
-
Fissile LocksDice, Dave / Kogan, Alex et al. | 2021
- 209
-
Verifying Safety of Parameterized Heard-Of AlgorithmsEles,, Zeinab Ganjei, Ahmed Rezine, Petru / Peng, Zebo et al. | 2021
- 227
-
Staleness and Local Progress in Transactional MemoryAttiya, Hagit / Fatourou, Panagiota / Hans, Sandeep / Kanellou, Eleni et al. | 2021
- 244
-
Framework for Optimization of Local Dissemination in Wireless NetworksKowalski, Generic Dariusz R. / Mosteiro, Miguel A. / Wadhwa, Krutika et al. | 2021
- 261
-
Venfying Weakly Consistent Transactional Programs Using Symbolic ExecutionOzkan, Burcu Kulahcioglu et al. | 2021
- 279
-
NetSheriff: Sheltering Software-Defined Networks from Rogue SwitchesLaffranchini, Paolo / Miranda, Joao / Machado, Nuno / Rodrigues, Luis / Riviere, Etienne / Sadre, Ramin et al. | 2021
- 296
-
Self-stabilizing Uniform Reliable BroadcastLundstrom, Oskar / Raynal, Michel / Schiller, Elad M. et al. | 2021
- 314
-
Fully Anonymous Consensus and Set Agreement AlgorithmsRaynal, Michel / Taubenfeld, Gadi et al. | 2021
- 329
-
Cutoffs for Symmetric Point-to-Point Distributed AlgorithmsTran, Thanh-Hai / Konnov, Igor / Widder, Josef et al. | 2021
- 349
-
Stateless Distributed LedgersBonnet, Francois / Bramas, Quentin / Defago, Xavier et al. | 2021
- 355
-
Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract)Cholvi, Vicent / Echagüe, Juan / Anta, Antonio Fernández / Caro, Christopher Thraves et al. | 2021
- 361
-
Contents Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network MethodAlaoui, Driss El / Riffi, Jamal / Aghoutane, Badraddine / Sabri, Abdelouahed / Yahyaouy, Ali / Tairi, Hamid et al. | 2021
- 368
-
Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract)Sevilla, Andrés / Anta, Antonio Fernández et al. | 2021