Vérification de Systèmes Mobiles

مخطط الموضوع

• 

  عام

  • Annonces منتدى
• 

  Intorudction Informelle aux systèmes mobiles

  • Introduction aux systèmes mobiles مجلد
  • Langages de programmations pour mobilité ملف

    Cours

• 

  Les algèbres de processus

  • Slides Algèbre CCS ملف

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

  • Série de TD 1 ملف
  • Série de TD2 ملف
  • Série de TD3 ملف
• 

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