@misc{BourkeEtAl:MechAWN:2014,
  author      = {Bourke, T. and van Glabbeek, R. J. and H{\"o}fner, P.},
  title       = {Showing invariance compositionally for a process algebra for network protocols},
  url       = {https://doi.org/10.1007/978-3-319-08970-6_10},
  pages = {144--159},
  booktitle = {Proceedings of the 5th International Conference on
   Interactive Theorem Proving (ITP 2014)},
  year = 2014,
  editor = {Klein, Gerwin and Gamboa, Ruben},
  series = {Lecture Notes in Computer Science},
  volume = 8558,
  address = {Vienna, Austria},
  month = jul,
  publisher = {Springer},
}

@techreport{FehnkerEtAl:AWN:2013,
  author      = {Ansgar Fehnker
          and van Glabbeek, Robert J.
          and Peter H{\"{o}}fner
          and Annabelle McIver
          and Marius Portmann
          and Tan, Wee Lum},
  institution = {NICTA},
  number      = 5513,
  title       = {A Process Algebra for Wireless Mesh Networks used for
   Modelling, Verifying and Analysing {AODV}},
  type        = {Technical Report},
  url         = {http://www.nicta.com.au/pub?doc=5513},
  Year        = 2013,
}