Master 2010 2011
sacc: Rendu des projets SACC

Le rendu des projets SACC 2010 doit impérativement se faire sur cette page.

Rappel du cahier des charges :

 implantation de la normalisation de processus
 algorithme de décision pour la congruence structurelle
 génération d’un LTS à partir d’une expression de processus
 algorithme de décision pour la bisimilarité

Pour soumettre un projet, il faut rédiger un message et attacher l’archive (format .zip ou .tar.gz).

IMPORTANT : il n’y pas de confirmation d’envoi, mais si vous n’avez pas d’erreur 404 alors considérez que le projet a été soumis. Je vous recontacterai si je ne trouve pas votre projet. NE PAS UTILISER MON ADRESSE EMAIL SVP.

Date de rendu : le mardi 30 novembre 2010, minuit au plus tard