TEACHING

Non-Sequential Theory of Distributed Systems

MPRI M2, 2019/2020.

Course Website
Weighted Automata

MPRI M2, 2009/2010.

Lecture Notes
Lecture Notes