@misc{indiciae5681bebd3631,
  title = {Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)},
  author = {Radosław Jan Rowicki and Adrian Francalanza and Alceste Scalas},
  year = {2025},
  doi = {10.1145/3763069},
  url = {https://arxiv.org/abs/2508.14851},
  note = {Source identifier: 2508.14851}
}