3 papers
cs.DC2026
Consensus with Stochastic Broadcast
Pierre Fraigniaud, Boaz Patt-Shamir, Sergio Rajsbaum
We study binary consensus in the \emph{stochastic broadcast model}, which assumes processes communicating synchronously by message broadcasts. At each round, every proces…
cs.LO2026
Distributed Knowledge in Simplicial Models
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
The usual semantics of multi-agent epistemic logic is based on Kripke models, defined in terms of binary relations on a set of possible worlds. Recently, there has been a growing i…
cs.LO2025
A categorical and logical framework for iterated protocols
Eric Goubault, Bernardo Hummes Flores, Roman Kniazev +2
In this article, we show that the now classical protocol complex approach to distributed task solvability of Herlihy et al. can be understood in standard categorical terms. First,…