Aujourd'hui j'ai traité :
- de l'équivalence entre processus
- de la vérification de modèles (avec rappel sur le concept de modèle - cours dans le poly Spec1 -)
Les transparents ont été indiqués dans mes messages spec2 de la semaine dernière. Qui les a consultés ? un ? deux ?
Je vous ai parlé de conférences ce we sur des sujets pas forcément éloignés de notre enseignement.
Voir : http://lefenetrou.blogspot.com
et sur les algèbres de processus
http://lefenetrou.blogspot.com/2007/03/nietzche-et-les-algbres-de-processus.html
La semaine prochaine, B événementiel (les transparents ont aussi été indiqués la semaine dernière).
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire