@inproceedings{CCD-secco09,
  title = "A decision procedure for proving observational equivalence",
  author = "Cheval, Vincent and Comon{-}Lundh, Hubert and Delaune, St{\'e}phanie",
  year = "2009",
  address = "Bologna, Italy",
  booktitle = "{P}reliminary {P}roceedings of the 7th {I}nternational {W}orkshop on {S}ecurity {I}ssues in {C}oordination {M}odels, {L}anguages and {S}ystems ({SecCo}'09)",
  editor = "Boreale, Michele and Kremer, Steve",
  month = "oct",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CCD-secco09.pdf",
}