T. Bourke, R. J. Van-glabbeek, and P. Höfner, Mechanizing node and network invariants based on process algebra, 2014.

A. Fehnker, R. J. Van-glabbeek, P. Höfner, A. Mciver, M. Portmann et al., A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV, 2013.