Vérification de Systèmes Mobiles

Aperçu des sections

• 

  Généralités

  • Annonces Forum
• 

  Intorudction Informelle aux systèmes mobiles

  • Introduction aux systèmes mobiles Dossier
  • Langages de programmations pour mobilité Fichier

    Cours

• 

  Les algèbres de processus

  • Slides Algèbre CCS Fichier

    Présentation de l'algèbre de processus: CCS

  • Série de TD 1 Fichier
  • Série de TD2 Fichier
  • Série de TD3 Fichier
• 

  CCS, pi-calcul, et HO-pi-calcul