4 citations · 7 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.DC2018★ 4 cited
Mastering Concurrent Computing Through Sequential Thinking: A Half-century Evolution
Sergio Rajsbaum, Michel Raynal
Concurrency, the art of doing many things at the same time is slowly becoming a science. It is very difficult to master, yet it arises all over modern computing systems, both when…
cs.LO2018
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states.…