@misc{indiciae23e2e4504fb8,
  title = {The Complexity of Testing Message-Passing Concurrency},
  author = {Zheng Shi and Lasse Møldrup and Umang Mathur and Andreas Pavlogiannis},
  year = {2025},
  url = {https://arxiv.org/abs/2505.05162},
  note = {Source identifier: 2505.05162}
}