@misc{indiciaee8ea6f350686,
  title = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems},
  author = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
  year = {2024},
  url = {https://arxiv.org/abs/1606.07886},
  note = {Source identifier: 1606.07886}
}