Dec 11, 2022 · Distributed Systems
Consensus Runtime Safety Under Asymmetric Delay: Migration Sequencing for High-Assurance Systems
A formal engineering analysis of distributed systems with emphasis on migration sequencing for high-assurance systems and adversarial operational constraints.
12 minRead Article