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

Nous étudions dans ce cours la problématique de la concurrence et du non-déterminisme dans les systèmes informatiques.

Plan du cours

- Introduction à CCS : syntaxe formelle et sémantique informelle
- Sémantique opérationnelle structurée de CCS
- Equivalences comportementales (traces, bisimilarité)
- Algorithmes de vérification de bisimulation
- Logiques temporelles (mu-calcul modal)
- Equivalences observationnelles (traces, bisimilarité faible)
- systèmes dynamiques, mobilité

Documents

Aller sur cette page

Mini-projet

Aller sur cette page

Annales

Aller sur cette page