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