Copertina

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	van der Meyden, Ron
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Distributed, Parallel, and Cluster Computing Logic in Computer Science 68W15, 03B42, 03B70, 68Q60, 68Q85, 68M15
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
di: Jaber, Guilhem, et al.
Pubblicazione: (2025)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
di: Gabbay, Murdoch J.
Pubblicazione: (2025)

The complexity of being monitorable
di: Camerlo, Riccardo, et al.
Pubblicazione: (2026)

Choiceless Polynomial Space
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

Normalization properties of $λμ$-calculus using realizability semantics
di: Battyanyi, Peter, et al.
Pubblicazione: (2023)

Higher-Order Pattern Unification Modulo Similarity Relations
di: Dundua, Besik, et al.
Pubblicazione: (2025)

Practical Livelock Analysis in Parameterized Unidirectional Rings
di: Farahat, Aly
Pubblicazione: (2026)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
di: Forster, Jonas, et al.
Pubblicazione: (2026)

Behavioural Conformances based on Lax Couplings
di: Wild, Paul, et al.
Pubblicazione: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies
di: Gerlach, Raphael, et al.
Pubblicazione: (2023)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
di: Malbos, Philippe, et al.
Pubblicazione: (2024)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

Computational Complexity of Model-Checking Quantum Pushdown Systems
di: Lin, Deren, et al.
Pubblicazione: (2025)

Population Protocols Revisited: Parity and Beyond
di: Gąsieniec, Leszek, et al.
Pubblicazione: (2025)

Design, Configuration, Implementation, and Performance of a Simple 32 Core Raspberry Pi Cluster
di: Cicirello, Vincent A.
Pubblicazione: (2017)

Why the classes P and NP are not well-defined finitarily
di: Anand, Bhupinder Singh
Pubblicazione: (2024)

Exploring P versus NP
di: Tang, Jian-Gang
Pubblicazione: (2022)

Refutability as Recursive as Provability
di: Cattabriga, Paola
Pubblicazione: (2024)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
di: Ramos, Arthur, et al.
Pubblicazione: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
di: Prunescu, Mihai, et al.
Pubblicazione: (2025)

On Halting vs Converging in Recurrent Graph Neural Networks
di: Bollen, Jeroen, et al.
Pubblicazione: (2026)

Provability in BI's Sequent Calculus is Decidable
di: Gheorghiu, Alexander, et al.
Pubblicazione: (2021)

Uniformity in learning structures
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

Classifying different criteria for learning algebraic structures
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Languages given by Finite Automata over the Unary Alphabet
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2023)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
di: Bruse, Florian, et al.
Pubblicazione: (2026)

OPTIMUM-DERAM: Highly Consistent, Scalable, and Secure Multi-Object Memory using RLNC
di: Nicolaou, Nicolas, et al.
Pubblicazione: (2026)

Context Adaptive Cooperation
di: Albouy, Timothé, et al.
Pubblicazione: (2023)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
di: Salvadori, Daniel Augusto Rizzi
Pubblicazione: (2025)

Implicit automata in λ-calculi III: affine planar string-to-string functions
di: Pradic, Cécilia, et al.
Pubblicazione: (2024)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
di: Pardal, Nina, et al.
Pubblicazione: (2024)

Characterising resource management performance in Kubernetes
di: Medel, Víctor, et al.
Pubblicazione: (2024)

Reversible computations are computations
di: Aubert, Clément, et al.
Pubblicazione: (2025)

Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
di: Böhnlein, Toni, et al.
Pubblicazione: (2024)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
di: Wild, Paul, et al.
Pubblicazione: (2025)

Learning Equivalence Relations on Polish Spaces
di: Rossegger, Dino, et al.
Pubblicazione: (2024)

On the learning power of Friedman-Stanley jumps
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)