24 January 2012
Control Lyapunov functions provide a fundamental tool to support control design when robustness,...
You are here
Research seminaries
18 January 2012
The coordination modeling language Paradigm distinguishes fine-grained behaviour of transitions...
20 December 2011
Session types and contracts are two formalisms used to study client-server interactions. In this...
1 December 2011
Operational semantics describes the behaviour of programs in a language in terms of their execution...