Specification and analysis of component-based software in a concurrent setting

Sotiris Moschoyiannis. Specification and analysis of component-based software in a concurrent setting. PhD thesis, University of Surrey, Guildford, UK, 2005. [doi]

Abstract

Abstract is missing.