1 citations · 2 across the 4 of their papers we have counts for
5 papers
Population Protocols over Ordered Agents
Michael Blondin, Michaël Cadilhac, Benjamin Courchesne +3
Population protocols are a distributed computation model in which a collection of anonymous, finite-state agents interact in randomly chosen pairs and update their states according…
Wait-Only Broadcast Protocols are Easier to Verify
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
We study networks of processes that all execute the same finite-state protocol and communicate via broadcasts. We are interested in two problems with a parameterized number of proc…
Phase-Bounded Broadcast Networks over Topologies of Communication
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
We study networks of processes that all execute the same finite state protocol and that communicate through broadcasts. The processes are organized in a graph (a topology) and only…
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Broadcast protocols are programs designed to be executed by networks of processes. Each process runs the same protocol, and communication between them occurs in synchronously in tw…
Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs
Davide Frey, Lucie Guillou, Michel Raynal +1
This paper explores the territory that lies between best-effort Byzantine-Fault-Tolerant Conflict-free Replicated Data Types (BFT CRDTs) and totally ordered distributed ledgers, su…