@misc{indiciae45e1ddf27999,
  title = {Probabilistic Resource-Aware Session Types},
  author = {Ankush Das and Di Wang and Jan Hoffmann},
  year = {2020},
  url = {https://arxiv.org/abs/2011.09037},
  note = {Source identifier: 2011.09037}
}