@article{BabelCK-jcs20,
  title = "On the semantics of communications when verifying equivalence properties",
  author = "Kushal Babel and Vincent Cheval and Steve Kremer",
  year = "2020",
  journal = "J. Comput. Secur.",
  number = "1",
  pages = "71--127",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/BCK-jcs20.pdf",
  volume = "28",
  doi = "10.3233/JCS-191366",
}