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…