@inproceedings{Bourke_GH_14,
    address          = {Vienna, Austria},
    author           = {Bourke, Timothy and van Glabbeek, Robert and H\"ofner, Peter},
    booktitle        = {International Conference on Interactive Theorem Proving},
    editor           = {{G. Klein and R. Gamboa}},
    keywords         = {isabelle/hol, process algebra, reactive systems, invariance proofs, network protocols},
    month            = jul,
    pages            = {44--59},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7863.pdf},
    publisher        = {Springer},
    title            = {Showing invariance compositionally for a process algebra for network protocols},
    year             = {2014}
  }