Méthodes algorithmiques pour la vérification de la consistance dans les systèmes distribués

par Rachid Zennou

Projet de thèse en Informatique

Sous la direction de Ahmed Bouajjani et de Mohammed Erradi.

Thèses en préparation à Sorbonne Paris Cité en cotutelle avec l'UNIVERSITE MOHAMMED V , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec INFORMATIQUE ALGORITHMIQUE :FONDEMENTS ET APPLICATIONS (equipe de recherche) depuis le 01-03-2018 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.