Maha Bousabbah

Preuves d'Algorithmes Distribués par Composition et Raffinement

• Broschiertes Buch

Produktbeschreibung

Un système distribué est défini par une collection d¿entités de calcul autonomes, qui communiquent ensemble pour accomplir une tâche commune. Chaque entité exécute localement son calcul et ne peut interagir qüavec ses voisins. Le développement et la preuve du calcul distribué est un défi qui nécessite l¿utilisation de méthodes et outils avancés. Dans nos travaux de thèse, nous étudions quelques problèmes fondamentaux du calcul distribué. Nous utilisons Event-B, et nous proposons des schémas de preuve basés sur une approche ¿correct-par-construction¿. Nous considérons un système distribué défini par réseau fiable, de processus anonymes et avec un modèle de communication basé sur l¿échange de messages. Dans certains cas, nous faisons abstraction du modèle de communications en utilisant le modèle des calculs locaux.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Presses Académiques Francophones
• Seitenzahl: 184
• Erscheinungstermin: 27. April 2018
• Französisch
• Abmessung: 220mm x 150mm x 12mm
• Gewicht: 292g
• ISBN-13: 9783841626929
• ISBN-10: 3841626920
• Artikelnr.: 62538449

Autorenporträt

Maha Bousabbah, née le 10 novembre 1988. Je suis docteure en informatique et qualifiée aux fonctions de maître de conférences CNU section 27. J'ai préparé ma thèse dans le cadre d'une cotutelle entre l'université de Sax et l'université de Bordeaux. Mes travaux sont à la croisée de deux domaines l¿algorithmique distribuée et les preuves formelles.