Evènement pour le groupe Algorithmique Distribuée


Date 2018-02-05  14:00-15:00
Titre Refinement-Based Composition for Computing Snapshots in Distributed Anonymous Networks  
RésuméRecording a global state of a distributed computation is one of the most important paradigm that finds applications in several aspects of a distributed system design. Algorithms recording such global states are called snapshot algorithms. Most of them assume that the network is not anonymous or there exists a distinguished process. We explore the correct-by-construction process to formalize snapshot computations in an anonymous network. Based on recent studies, we investigate existing algorithms to highlight how they can be composed and specified in a top/down approach in order to obtain a global view anonymously. This approach is supported by an incremental process controlled by model refinements.  
Lieu178 
OrateurMaha Boussabbeh  



Aucun document lié à cet événement.

Retour
Retour à l'index