MAD : Models and Algorithms for Distributed systems and softwares

Slides

Part 1 (by Eric Fabre)

• lesson 1
• lesson 2
• lesson 3
• lesson 4
• lesson 5

Part 2 (by Emmanuelle Anceaume)

• lesson 1
  
• lesson 2
  
• lesson 3
  

Biblio

• lecture notes about the basics of automata and formal languages, by Samarjit Chakraborty (ETH Zurich)
• a slide set about basic operations on automata
• chapter 2 in the book by Cassandras and Lafortune on Discrete Event Systems, with basic operations on automata and languages