Publications
Taolue Chen, Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. A Compositional Specification Theory for Component Behaviours. In Helmut Seidl, editor, Programming Languages and Systems, Proc. 21st European Symposium on Programming (ESOP'12), Lecture Notes in Computer Science, vol. 7211, pp. 148-168. Springer-Verlag, 2012.
Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska, and Massimo Tivoli. Towards a Connector Algebra. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Proc. 4th International Symposium on Leveraging Applications (ISoLA'10), Lecture Notes in Computer Science, vol. 6416, pp. 278-292. Springer-Verlag, 2010.