Relational Reasoning via Probabilistic Coupling. Barthe, G., Espitau, T., Grégoire, B., Hsu, J., Stefanesco, L., & Strub, P. In Davis, M., Fehnker, A., McIver, A., & Voronkov, A., editors, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, volume 9450, of Lecture Notes in Computer Science, pages 387–401, 2015. Springer.
Relational Reasoning via Probabilistic Coupling [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/lpar/BartheEGHSS15,
  author = {Gilles Barthe and Thomas Espitau and
Benjamin Gr{\'{e}}goire and Justin Hsu and
L{\'{e}}o Stefanesco and Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/lpar/BartheEGHSS15.bib},
  booktitle = {Logic for Programming, Artificial Intelligence, and
Reasoning - 20th International Conference, {LPAR-20}
2015, Suva, Fiji, November 24-28, 2015, Proceedings},
  doi = {10.1007/978-3-662-48899-7\_27},
  editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and
Andrei Voronkov},
  isbn = {978-3-662-48898-0},
  pages = {387--401},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
  title = {Relational Reasoning via Probabilistic Coupling},
  url = {https://doi.org/10.1007/978-3-662-48899-7\_27},
  volume = {9450},
  year = {2015}
}

Downloads: 0