2 papers
cs.LO2025
A declarative approach to specifying Paxos using three-valued modal fixpoint logic
Murdoch J. Gabbay, Luca Zanolini
We present Three-valued Fixpoint Quorum Logic, or 3muQL for short; a three-valued modal fixed-point logic designed for declaratively specifying and reasoning about distributed algo…
cs.SC2020
An Algebraic Model For Quorum Systems
Alex Pellegrini, Luca Zanolini
Quorum systems are a key mathematical abstraction in distributed fault-tolerant computing for capturing trust assumptions. A quorum system is a collection of subsets of all process…