State machine replication protocols, like MultiPaxos and Raft, are a critical component of
many distributed systems and databases. However, these protocols offer relatively low …

Distributed systems are rarely developed as monolithic programs. Instead, like any software,
these systems may consist of multiple program components, which are then compiled …

MultiPaxos and Raft are the two most popular and widely deployed state machine
replication protocols. There is a more sophisticated family of generalized multi-leader state …

State machine replication is at the heart of almost every strongly consistent distributed
system. In this thesis, we introduce a novel technique called compartmentalization that …

Agreement plays a central role in distributed systems working on a common task. The
increasing size of modern distributed systems makes them more susceptible to single …

Cette étude concerne l'utilisation de la logique du premier ordre et la logique temporelle
linéaire pour la spécification et la vérification des systèmes dynamiques ayant des structures …