By Dr Rob van Glabbeek

Reports

Fehnker A; van Glabbeek RJ; Höfner P; McIver AK; Portmann M; Tan WL, 2013, A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV, NICTA, Sydney, 5513, http://nicta.com.au/

van Glabbeek RJ; Deng Y, 2010, Characterising Probabilistic Processes Logically, arXiv:1007.5188, http://arxiv.org/abs/1007.5188

Back to profile page