Modelling and reasoning about dynamic networks as concurrent systems

Yanti Rusmawati. Modelling and reasoning about dynamic networks as concurrent systems. PhD thesis, University of Manchester, UK, 2014. [doi]

Abstract

Abstract is missing.