@misc{indiciaeebae8dd19230,
  title = {Building Reliable Cloud Services Using P\# (Experience Report)},
  author = {Pantazis Deligiannis and Narayanan Ganapathy and Akash Lal and Shaz Qadeer},
  year = {2020},
  url = {https://arxiv.org/abs/2002.04903},
  note = {Source identifier: 2002.04903}
}