@misc{indiciaec90ab07a65b4,
  title = {Stronger Validity Criteria for Encoding Synchrony},
  author = {Rob van Glabbeek and Ursula Goltz and Christopher Lippert and Stephan Mennicke},
  year = {2025},
  doi = {10.1007/978-3-030-31175-9\_11},
  url = {https://arxiv.org/abs/2502.08307},
  note = {Source identifier: 2502.08307}
}