@misc{indiciaeb23cdacbf2c1,
  title = {Partial Orders for Precise and Efficient Dynamic Deadlock Prediction},
  author = {Bas van den Heuvel and Martin Sulzmann and Peter Thiemann},
  year = {2026},
  url = {https://arxiv.org/abs/2502.20070},
  note = {Source identifier: 2502.20070}
}