@inproceedings{BabelCK-post17,
  title = "On Communication Models When Verifying Equivalence Properties",
  author = "Kushal Babel and Vincent Cheval and Steve Kremer",
  year = "2017",
  booktitle = "Principles of Security and Trust - 6th International Conference, {POST} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings",
  editor = "Matteo Maffei and Mark Ryan",
  pages = "141--163",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/BCK-post17.pdf",
  volume = "10204",
  doi = "10.1007/978-3-662-54455-6_7",
}