@misc{indiciaed0eada975c0d,
  title = {Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems},
  author = {Armando Castañeda and Gilde Valeria Rodríguez},
  year = {2025},
  url = {https://arxiv.org/abs/2502.00191},
  note = {Source identifier: 2502.00191}
}