Imagen de Portada

A Knowledge-Based Analysis of Intersection Protocols

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Alpturer, Kaya, Halpern, Joseph Y., van der Meyden, Ron
Formato:	Preprint
Publicado:	2024
Materias:	Distributed, Parallel, and Cluster Computing
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols
por: Alpturer, Kaya, et al.
Publicado: (2025)

Optimality of Simultaneous Consensus with Limited Information Exchange (Extended Abstract)
por: Alpturer, Kaya, et al.
Publicado: (2025)

Timing Games in Responsive Consensus Protocols
por: Alpturer, Kaya, et al.
Publicado: (2025)

AetherWeave: Sybil-Resistant Robust Peer Discovery with Stake
por: Alpturer, Kaya, et al.
Publicado: (2026)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
por: van der Meyden, Ron
Publicado: (2025)

On Quorum Sizes in DAG-Based BFT Protocols
por: Ladelsky, Razya, et al.
Publicado: (2025)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
por: Haas, Julian, et al.
Publicado: (2025)

Byzantine-Resilient Population Protocols
por: Busch, Costas, et al.
Publicado: (2021)

A Survey on Application Layer Protocols for IoT Networks
por: Hmissi, Fatma, et al.
Publicado: (2024)

A Unified CPU-GPU Protocol for GNN Training
por: Lin, Yi-Chien, et al.
Publicado: (2024)

A Distributed Consensus Algorithm for Prioritizing Autonomous Vehicle Passing at Unsignalized Intersections under Mixed Traffic
por: Lee, Younjeong, et al.
Publicado: (2025)

3-Slot-Finality Protocol for Ethereum
por: D'Amato, Francesco, et al.
Publicado: (2024)

Complete Graph Identification in Population Protocols
por: Kanaya, Haruki, et al.
Publicado: (2024)

Reliable Replication Protocols on SmartNICs
por: Katebzadeh, M. R. Siavash, et al.
Publicado: (2025)

Hamster: A Fast Synchronous Byzantine Fault Tolerance Protocol
por: Fu, Ximing, et al.
Publicado: (2024)

Reputation-Based Leader Election under Partial Synchrony: Towards a Protocol-Independent Abstraction with Enhanced Guarantees
por: Liu, Xuyang, et al.
Publicado: (2025)

Slim-ABC: An Optimized Atomic Broadcast Protocol
por: Sony, Nasit S, et al.
Publicado: (2024)

SoK: DAG-based Consensus Protocols
por: Raikwar, Mayank, et al.
Publicado: (2024)

Dynamic Size Counting in the Population Protocol Model
por: Kaaser, Dominik, et al.
Publicado: (2024)

Snow: Self-organizing Broadcast Protocol for Cloud
por: Tong, Chengkai
Publicado: (2025)

Centroid Approximation with Multidimensional Approximate Agreement Protocols
por: Cambus, Melanie, et al.
Publicado: (2023)

Ranking Opinions with Few States in Population Protocols
por: Breitkopf, Tom-Lukas, et al.
Publicado: (2026)

Fast-HotStuff: A Fast and Resilient HotStuff Protocol
por: Jalalzai, Mohammad M., et al.
Publicado: (2020)

The Expressive Power of Uniform Population Protocols with Logarithmic Space
por: Czerner, Philipp, et al.
Publicado: (2024)

Monadic Presburger Predicates have Robust Population Protocols
por: Czerner, Philipp, et al.
Publicado: (2026)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
por: Esposito, Andrea, et al.
Publicado: (2025)

Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols
por: D'Amato, Francesco, et al.
Publicado: (2023)

Optimizing Communication in Byzantine Agreement Protocols with Slim-HBBFT
por: Sony, Nasit S, et al.
Publicado: (2025)

CheckMate: Evaluating Checkpointing Protocols for Streaming Dataflows
por: Siachamis, George, et al.
Publicado: (2024)

A Fast Confirmation Rule (aka Fast Synchronous Finality) for the Ethereum Consensus Protocol
por: Asgaonkar, Aditya, et al.
Publicado: (2024)

A Scalable State Sharing Protocol for Low-Resource Validator Nodes in Blockchain Networks
por: Hias, Ruben, et al.
Publicado: (2024)

Prioritized-MVBA: A New Approach to Design an Optimal Asynchronous Byzantine Agreement Protocol
por: Sony, Nasit S, et al.
Publicado: (2024)

DART: A Solution for Decentralized Federated Learning Model Robustness Analysis
por: Feng, Chao, et al.
Publicado: (2024)

Optimization of Federated Learning's Client Selection for Non-IID Data Based on Grey Relational Analysis
por: Chen, Shuaijun, et al.
Publicado: (2023)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
por: Popovic, Miroslav, et al.
Publicado: (2024)

Pruning Blockchain Protocols for Efficient Access Control in IoT Systems
por: Huang, Yongtao, et al.
Publicado: (2024)

An Approach to Optimizing the VABA Protocol Using $κ$-size Committee
por: Sony, Nasit S
Publicado: (2024)

AMP: Arc Multi-Proposer Protocol with Bounded Inclusion Guarantees
por: Cason, Daniel, et al.
Publicado: (2026)

Revisiting Speculative Leaderless Protocols for Low-Latency BFT Replication
por: Qian, Daniel, et al.
Publicado: (2026)

Interactive Visualization of Proof-of-Work Consensus Protocol on Raspberry Pi
por: Ivashkevich, Anton, et al.
Publicado: (2025)