@misc{indiciae7847c37590e3,
  title = {A Semantic Account of Metric Preservation},
  author = {Arthur Azevedo de Amorim and Marco Gaboardi and Justin Hsu and Shin-ya Katsumata and Ikram Cherigui},
  year = {2022},
  doi = {10.1145/3009837.3009890},
  url = {https://arxiv.org/abs/1702.00374},
  note = {Source identifier: 1702.00374}
}