@article{strongpriorityanddeterminacyintimedccs,
  title = {Strong Priority and Determinacy in Timed CCS},
  author = {Luigi Liquori and Michael Mendler},
  year = {2024},
  eprint = {2403.04618},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2403.04618v3},
}