Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models
Fuente:
arXiv
Saved in:
| Main Authors: | Attiya, Hagit, Castañeda, Armando, Ghosh, Dhrubajyoti, Nowak, Thomas |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Strong Linearizability using Primitives with Consensus Number 2
by: Attiya, Hagit, et al.
Published: (2024)
by: Attiya, Hagit, et al.
Published: (2024)
Arbitration-Free Consistency is Available (and Vice Versa)
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Recoverable Lock-Free Locks
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
History-Independent Concurrent Objects
by: Attiya, Hagit, et al.
Published: (2024)
by: Attiya, Hagit, et al.
Published: (2024)
Why Canonical Rounds Fail for Optimal Byzantine Resilience
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
by: Castañeda, Armando, et al.
Published: (2023)
by: Castañeda, Armando, et al.
Published: (2023)
Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
by: Castañeda, Armando, et al.
Published: (2025)
by: Castañeda, Armando, et al.
Published: (2025)
Auditing without Leaks Despite Curiosity
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Enabling Message Passing Interface Containers on the LUMI Supercomputer
by: Lazzaro, Alfio
Published: (2024)
by: Lazzaro, Alfio
Published: (2024)
History-Independent Concurrent Hash Tables
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
FastGraph: Optimized GPU-Enabled Algorithms for Fast Graph Building and Message Passing
by: Agarwal, Aarush, et al.
Published: (2025)
by: Agarwal, Aarush, et al.
Published: (2025)
Auditable Shared Objects: From Registers to Synchronization Primitives
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Byzantine Consensus in the Random Asynchronous Model
by: Danezis, George, et al.
Published: (2025)
by: Danezis, George, et al.
Published: (2025)
Asymptotic Subspace Consensus in Dynamic Networks
by: Függer, Matthias, et al.
Published: (2026)
by: Függer, Matthias, et al.
Published: (2026)
Scalable Data Assimilation with Message Passing
by: Key, Oscar, et al.
Published: (2024)
by: Key, Oscar, et al.
Published: (2024)
Read-Modify-Writable Snapshots from Read/Write operations
by: Castañeda, Armando, et al.
Published: (2026)
by: Castañeda, Armando, et al.
Published: (2026)
Topological Characterization of Consensus in Distributed Systems
by: Nowak, Thomas, et al.
Published: (2019)
by: Nowak, Thomas, et al.
Published: (2019)
Majority consensus thresholds in competitive Lotka--Volterra populations
by: Függer, Matthias, et al.
Published: (2024)
by: Függer, Matthias, et al.
Published: (2024)
What Cannot Be Implemented on Weak Memory?
by: Castañeda, Armando, et al.
Published: (2024)
by: Castañeda, Armando, et al.
Published: (2024)
Efficient Data-Parallel Continual Learning with Asynchronous Distributed Rehearsal Buffers
by: Bouvier, Thomas, et al.
Published: (2024)
by: Bouvier, Thomas, et al.
Published: (2024)
Modeling the Potential of Message-Free Communication via CXL.mem
by: Vanecek, Stepan, et al.
Published: (2025)
by: Vanecek, Stepan, et al.
Published: (2025)
Structures and Techniques for Streaming Dynamic Graph Processing on Decentralized Message-Driven Systems
by: Chandio, Bibrak Qamar, et al.
Published: (2024)
by: Chandio, Bibrak Qamar, et al.
Published: (2024)
Asynchronous Checkpoint for Eventually Consistent Databases
by: Ravishankar, Raaghav, et al.
Published: (2025)
by: Ravishankar, Raaghav, et al.
Published: (2025)
Asynchronous Latency and Fast Atomic Snapshot
by: Bezerra, João Paulo, et al.
Published: (2024)
by: Bezerra, João Paulo, et al.
Published: (2024)
Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
by: Borrill, Paul
Published: (2026)
by: Borrill, Paul
Published: (2026)
Lemonshark: Asynchronous DAG-BFT With Early Finality
by: Hu, Michael Yiqing, et al.
Published: (2026)
by: Hu, Michael Yiqing, et al.
Published: (2026)
PALE: Partially Asynchronous Agile Leader Election
by: Sidik, Bronislav, et al.
Published: (2018)
by: Sidik, Bronislav, et al.
Published: (2018)
From Symmetric to Asymmetric Asynchronous Byzantine Consensus
by: Cachin, Christian, et al.
Published: (2020)
by: Cachin, Christian, et al.
Published: (2020)
Asynchronous Secure Federated Learning with Byzantine aggregators
by: Del Pozzo, Antonella, et al.
Published: (2026)
by: Del Pozzo, Antonella, et al.
Published: (2026)
Byzantine Consensus in Directed Graphs with Message Authentication
by: Vaidya, Nitin H., et al.
Published: (2026)
by: Vaidya, Nitin H., et al.
Published: (2026)
SoK: Consensus for Fair Message Ordering
by: Li, Zhuolun, et al.
Published: (2024)
by: Li, Zhuolun, et al.
Published: (2024)
Message-Oriented Middleware Systems: Technology Overview
by: Al-Manasrah, Wael, et al.
Published: (2026)
by: Al-Manasrah, Wael, et al.
Published: (2026)
AGILE: Lightweight and Efficient Asynchronous GPU-SSD Integration
by: Yang, Zhuoping, et al.
Published: (2025)
by: Yang, Zhuoping, et al.
Published: (2025)
Examining MPI and its Extensions for Asynchronous Multithreaded Communication
by: Yan, Jiakun, et al.
Published: (2025)
by: Yan, Jiakun, et al.
Published: (2025)
Consensus Through Knot Discovery in Asynchronous Dynamic Networks
by: Bricker, Rachel, et al.
Published: (2024)
by: Bricker, Rachel, et al.
Published: (2024)
Optimal Uniform Circle Formation by Asynchronous Luminous Robots
by: Feletti, Caterina, et al.
Published: (2024)
by: Feletti, Caterina, et al.
Published: (2024)
Asynchronous Fault-Tolerant Distributed Proper Coloring of Graphs
by: Balliu, Alkida, et al.
Published: (2024)
by: Balliu, Alkida, et al.
Published: (2024)
Amortized Asynchronous Byzantine Reliable Broadcast with Optimal Resilience
by: Hu, Michael Yiqing, et al.
Published: (2026)
by: Hu, Michael Yiqing, et al.
Published: (2026)
VDCores: Resource Decoupled Programming and Execution for Asynchronous GPU
by: He, Zijian, et al.
Published: (2026)
by: He, Zijian, et al.
Published: (2026)
Similar Items
-
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
by: Attiya, Hagit, et al.
Published: (2025) -
Strong Linearizability using Primitives with Consensus Number 2
by: Attiya, Hagit, et al.
Published: (2024) -
Arbitration-Free Consistency is Available (and Vice Versa)
by: Attiya, Hagit, et al.
Published: (2025) -
Recoverable Lock-Free Locks
by: Attiya, Hagit, et al.
Published: (2025) -
History-Independent Concurrent Objects
by: Attiya, Hagit, et al.
Published: (2024)