University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Chris Chilton : Publications

By dateBy titleBy typeBibtex

[1]

An Algebraic Theory of Interface Automata

Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska

No. RR−13−02. DCS. 2013.

[2]

Revisiting Timed Specification Theories: A Linear−Time Perspective

Chris Chilton‚ Marta Kwiatkowska and Xu Wang

No. CS−RR−12−04. DCS. 2012.

[3]

A Compositional Specification Theory for Component Behaviours

Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska

No. CS−RR−12−01. DCS. 2012.