3 papers
cs.DC2026
Space-Optimal, Computation-Optimal, Topology-Agnostic, Throughput-Scalable Causal Delivery through Hybrid Buffering
Paulo Sérgio Almeida
Message delivery respecting causal ordering (causal delivery) is one of the most classic and widely useful abstraction for inter-process communication in a distributed system. Most…
cs.DC2025
The Blocklace: A Byzantine-repelling and Universal Conflict-free Replicated Data Type
Paulo Sérgio Almeida, Ehud Shapiro
Conflict-free Replicated Data Types (CRDTs) are designed for replica convergence without global coordination or consensus. Recent work has achieved the same in a Byzantine environm…
cs.DC2024
A Framework for Consistency Models in Distributed Systems
Paulo Sérgio Almeida
We define am axiomatic timeless framework for asynchronous distributed systems, together with well-formedness and consistency axioms, which unifies and generalizes the expressive p…