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