TY  - RPRT
TI  - Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
AU  - Flavio T. Principato
AU  - Javier Esparza
AU  - Philipp Czerner
PY  - 2025
UR  - https://arxiv.org/abs/2504.07339
ID  - 2504.07339
ER  -