Chris Chilton : Publications
|
[1] |
A Compositional Specification Theory for Component Behaviours Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska No. CS−RR−12−01. DCS. 2012. |
|
[2] |
An Algebraic Theory of Interface Automata Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska No. RR−13−02. DCS. 2013. |
|
[3] |
Revisiting Timed Specification Theories: A Linear−Time Perspective Chris Chilton‚ Marta Kwiatkowska and Xu Wang No. CS−RR−12−04. DCS. 2012. |