-
Bisimulación e procesos concurrentes (PhD courses 03/04)
-
Presentations:
- Theme 2: pdf
- Theme 3: pdf
- Theme 4: pdf
- Themes 12 and 13: pdf
-
Exercises:
-
Latex template for UDC Master thesis (tgz)
-
PowerPoint course (October 2005)
-
Tutorial (doc)
-
Effective presentations (ppt)
-
Latex beamer template (tgz)