Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	NETYS (9. : 2021 : Online) Networked Systems
1. Verfasser:	Georgiou, Chryssis (VerfasserIn)
Weitere Verfasser:	Marcoullis, Ioannis (VerfasserIn), Raynal, Michel (VerfasserIn), Schiller, Elad M. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Byzantine Geoconsensus	2021	Oglio, Joseph
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass	2021	Havlena, Vojtěch
BAM: Efficient Model Checking for Barriers	2021	Kokologiannakis, Michalis
Verifying and Optimizing the HMCS Lock for Arm Servers	2021	Oberhauser, Jonas
Fault-Tolerant Termination Detection with Safra’s Algorithm	2021	Karlos, Georgios
Weak Amnesiac Flooding of Multiple Messages	2021	Bayramzadeh, Zahra
AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation	2021	Pilet, Amaurv Bouchra
Blockchain Using Proof-of-Interaction	2021	Abegg, Jean-Philippe
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems	2021	Yanakieva, Elena
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability	2021	López, Carlos
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality	2021	Rauch, Arthur
Efficient and Secure TSA for the Tangle	2021	Bramas, Quentin
Separating Map Variables in a Logic-Based Intermediate Verification Language	2021	Dietsch, Daniel
Towards Efficient Shape Analysis with Tree Automata	2021	Hruska, Martin
Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems	2021	Georgiou, Chryssis
LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System	2021	Abid, Imane EI
Petri Net Invariant Synthesis	2021	Chini, Peter