Sotiris Moschoyiannis. Specification and analysis of component-based software in a concurrent setting. PhD thesis, University of Surrey, Guildford, UK, 2005. [doi]
@phdthesis{ethos-5203, title = {Specification and analysis of component-based software in a concurrent setting}, author = {Sotiris Moschoyiannis}, year = {2005}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.426024}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-5203}, cites = {0}, citedby = {0}, school = {University of Surrey, Guildford, UK}, }