1 - 3 of 3
1
Report icon

Report

A Compositional Specification Theory for Component Behaviours

  • Taolue Chen, Chris Chilton, Bengt Jonsson, et al.
  • 2012
2
Report icon

Report

Revisiting Timed Specification Theories: A Linear−Time Perspective

  • Chris Chilton, Marta Kwiatkowska, Xu Wang
  • 2012
3
Report icon

Report

An Algebraic Theory of Interface Automata

  • Chris Chilton, Bengt Jonsson, Marta Kwiatkowska
  • 2013
FILTER RESULTS

TO TOP