Undecidability of the Emptiness Problem for Weak Models of Distributed Computing. - Flavio T. Principato; Javier Esparza; Philipp Czerner (SAND, 2025)