@misc{indiciae4eac95abe13c,
  title = {Mechanizing a Process Algebra for Network Protocols},
  author = {Timothy Bourke and Robert J. van Glabbeek and Peter Höfner},
  year = {2015},
  url = {https://arxiv.org/abs/1512.07304},
  note = {Source identifier: 1512.07304}
}