Software architecture modelling and analysis in process algebra

Guoxin Su. Software architecture modelling and analysis in process algebra. PhD thesis, University of Technology Sydney, Australia, 2013. [doi]

Abstract

Abstract is missing.