3 papers
cs.DC2026
On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
Timothé Albouy, Timothé Albouy, Antonio Fernández Anta +4
This paper studies the decidability of task problems, i.e., distributed problems expressed as sets of distributed tasks. Specifically, we introduce a new class of task problems cal…
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…