@misc{indiciae3e90fcc02c84,
  title = {Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis},
  author = {Siva Anantharaman and Sabine Frittella and Benjamin Nguyen},
  year = {2025},
  url = {https://arxiv.org/abs/2502.18974},
  note = {Source identifier: 2502.18974}
}