
@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,
}

