3 papers
cs.DC2026
On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +2
In this paper, we define a new class of distributed tasks, called SOS tasks (for Set of Output Sets tasks), defined by the set of distinct output sets of values that can be pro…
cs.DC2025
Tight Conditions for Binary-Output Tasks under Crashes
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +2
This paper explores necessary and sufficient system conditions to solve distributed tasks with binary outputs (\textit{i.e.}, tasks with output values in ). We focus on th…
cs.DC2024
AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +3
In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential sp…