Première année.

L'objectif est de définir et d'étudier l'expressivité des modèles sémantiques pour des logiciels combinant les aspects dynamiques suivants :

• Multi-threading et appels de procédure sans paramètres.
• Multi-threading et structure de données dynamiques.
• Création dynamique de threads et structure de données dynamiques.