54 citations · 312 across the 36 of their papers we have counts for
Showing 2017 · cs.DCShow all
2 papers · 2 filters
cs.DC2017★ 2 cited
Models of fault-tolerant distributed computation via dynamic epistemic logic
Eric Goubault, Sergio Rajsbaum
The computability power of a distributed computing model is determined by the communication media available to the processes, the timing assumptions about processes and communicati…
cs.DC2017★ 3 cited
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing
Eric Goubault, Sergio Rajsbaum
The usual epistemic S5 model for multi-agent systems is a Kripke graph, whose edges are labeled with the agents that do not distinguish between two states. We propose to uncover th…