Sémantique de la Concurrence et de la Mobilité
sacc

Les problèmes de concurrence sont au coeur des systèmes informatiques modernes, en particulier les systèmes répartis (ex. www, pair-à-pair, jeux video) et les systèmes parallèles (ex. : grilles de calcul).

D’un point de vue théorique, nous étudions les formalismes permettant la spécification précise des systèmes concurrents ainsi que l’analyse formelle de leurs propriétés.

D’un point de vue pratique, les liens avec la programmation concurrente (ex. threads java) et la vérification automatique de modèle (model-checking) sont établis.

Dans une deuxième partie, nous abordons la problématique de mobilité, en particulier sous l’angle des réseaux mobiles ad-hoc, c’est-à-dire les systèmes dont l’infrastructure de communication évolue au cour du temps (déconnexion intempestives, reconnexions automatiques, etc.). Nous utilisons le Pi-calcul, extension de CCS adapté à la spécification de tels systèmes dynamiques.

Documents :

- Documents de la Semaine 1
- Documents de la Semaine 2
- Documents de la Semaine 3
- Documents de la Semaine 4
- Documents de la Semaine 5
- Documents de la Semaine 6

Mini-projets :

- A lire : Descriptif des projets

Annales :

- cf. Les annales de SACC

Espace de discussion :

- Pour discuter de cette UE, vous pouvez entrer dans l’espace de discussion

Localisation


modifier cet emploi du temps   Cours : Bat. 41 Salle 312  le lundi de 26h 0 à 26h 1,
par Frederic Peschanski.

Calendrier

aujourd'hui : <<<>>>  décembre 2005  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche