@misc{indiciaeb6190ad3d5c0,
  title = {A Branching Time Model of CSP},
  author = {Rob van Glabbeek},
  year = {2017},
  doi = {10.1007/978-3-319-51046-0\_14},
  url = {https://arxiv.org/abs/1702.07844},
  note = {Source identifier: 1702.07844}
}