@misc{indiciae7a9734d41558,
  title = {Reliable Restricted Process Theory},
  author = {Fatemeh Ghassemi and Wan Fokkink},
  year = {2017},
  url = {https://arxiv.org/abs/1705.02600},
  note = {Source identifier: 1705.02600}
}