Réseaux et systèmes répartis

• Algèbre de processus concurrents communiquants
• Vérification de systèmes parallèles et logique temporelle
• Ingénierie de systèmes informatiques répartis
• Modèles markoviens en télécommunication