Preuves d'algorithmes distribués par composition et raffinement.
Dans cette thèse, nous présentons des approches formelles permettant de simplifier la modélisation et la preuve du calcul distribué. 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 loca...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2017
|
Subjects: | |
Online Access: | http://www.theses.fr/2017BORD0799/document |