Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems

Cheng Feng. Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems. PhD thesis, University of Edinburgh, UK, 2017. [doi]

Abstract

Abstract is missing.