TY  - RPRT
TI  - On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
AU  - Timothé Albouy
AU  - Antonio Fernández Anta
AU  - Chryssis Georgiou
AU  - Nicolas Nicolaou
AU  - Junlang Wang
PY  - 2026
UR  - https://arxiv.org/abs/2604.06920
ID  - 2604.06920
ER  -