54 citations · 312 across the 36 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
A dynamic epistemic logic analysis of the equality negation task
Eric Goubault, Marijana Lazic, Jeremy Ledent +1
In this paper we study the solvability of the equality negation task in a simple wait-free model where processes communicate by reading and writing shared variables or exchanging m…
cs.LO2019★ 4 cited
Directed Homotopy in Non-Positively Curved Spaces
Eric Goubault, Samuel Mimram
A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of pos…