@inproceedings{DBLP:conf/lics/CastellanCPW18,
  title = "The concurrent game semantics of Probabilistic {PCF}",
  author = "Simon Castellan and Pierre Clairambault and Hugo Paquet and Glynn Winskel",
  year = "2018",
  booktitle = "Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018",
  pages = "215--224",
  url = "https://doi.org/10.1145/3209108.3209187",
  doi = "10.1145/3209108.3209187",
}