ENSEEIHT IRIT

Mathieu MONTIN

PhD Thesis: A formal framework for heterogeneous systems semantics

Ordering strict partial orders to model instant refinement

Ordering strict partial orders to model behavioural refinement

Mechanizing the relational semantics of the Clock Constraint Specification Language