@misc{indiciae865ade4c41eb,
  title = {Probabilistic Rely-guarantee Calculus},
  author = {Annabelle McIver and Tahiry Rabehaja and Georg Struth},
  year = {2015},
  url = {https://arxiv.org/abs/1409.0582},
  note = {Source identifier: 1409.0582}
}