@misc{indiciae751441b48714,
  title = {Distributed Transition Systems with Tags for Privacy Analysis},
  author = {Siva Anantharaman and Sabine Frittella and Benjamin Nguyen},
  year = {2022},
  url = {https://arxiv.org/abs/2204.02602},
  note = {Source identifier: 2204.02602}
}