Welcome
Teaching
Research
Projects
CV
Contact info
Other stuff
Links
Presentations
Timed languages for discrete-event systems
.
Some aspects of the theory of Modelling and Simulation
.
Category Theory
.
Operational Semantics and Behavioural Equivalence
.
kiltera: a language for concurrent, interacting, timed, mobile systems
.