Towards a Connector Algebra. - Marco Autili; Chris Chilton; Paola Inverardi; Marta Z. Kwiatkowska; Massimo Tivoli (ISoLA (2), 2010)

A Compositional Specification Theory for Component Behaviours. - Taolue Chen 001; Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (ESOP, 2012)

Assume-Guarantee Reasoning for Safe Component Behaviours. - Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (FACS, 2012)

Revisiting Timed Specification Theories: A Linear-Time Perspective. - Chris Chilton; Marta Z. Kwiatkowska; Xu Wang 001 (FORMATS, 2012)

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. - Amel Bennaceur; Chris Chilton; Malte Isberner; Bengt Jonsson 001 (SEFM, 2013)

Revisiting Timed Specification Theory II : Realisability - Chris Chilton; Marta Z. Kwiatkowska; Xu Wang 001 (CoRR, 2013)

Compositional assume-guarantee reasoning for input/output component theories. - Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (Sci. Comput. Program., 2014)

An algebraic theory of interface automata. - Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (Theor. Comput. Sci., 2014)

A Specification Theory of Real-Time Processes. - Chris Chilton; Marta Z. Kwiatkowska; Faron Moller; Xu Wang 001 (Concurrency, Security, and Puzzles, 2017)