lundi 26 février 2007

Cours du 26 février /4

- Je n'ai pas dit un mot pendant tout mon cours ... car j'attendais le silence. J'ai écrit tout au tableau. J'ai donné des exemples illustratifs dont on pouvait déduire la sémantique. J'ai tout photographié.
Ce que j'ai traité :

- rdp avec arcs valués
- rdp à jeton
- test à zéro

CCS
j'ai donné toutes les configurations possibles, et ai systématiquement construit l'automate (une dizaine au moins)
j'ai traité de la communication dont le sémaphore, idem automates;
j'ai donné correspondance avec FSP (un peu)


J'ai annoncé oralement et par courriel et par un écrit au tableau noir la conf de Milner.

Les réponses aux questions du "DS" se trouvent sur les photos des messages précédents.

Aucun commentaire: