@article{Bourke_GH_16,
    author           = {Bourke, Timothy and van Glabbeek, Robert and H\"ofner, Peter},
    doi              = {10.1007/s10817-015-9358-9},
    journal          = {Journal of Automated Reasoning},
    keywords         = {interactive theorem proving; isabelle/hol; process algebra; awn; wireless mesh networks; mobile
                        ad-hoc networks; compositional invariant proofs},
    month            = mar,
    number           = {3},
    pages            = {309--341},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8466.pdf},
    title            = {Mechanizing a Process Algebra for Network Protocols},
    volume           = {56},
    year             = {2016}
  }