Evènement pour le groupe Graphes et Logique


Date 2013-03-19  11:00-12:00
TitreA Formal Analysis in Coq of a Handshake Randomised Distributed Algorithm 
RésuméUnder some hypothesis on the distributed system, there is no deterministic solution of certain classical problems, as the handshake problem. Randomised solutions are then needed to solve those problems. We present a formalisation in Coq of a distributed randomised algorithm that solves this problem. This allows us to formally prove properties of this algorithm such as termination and probabilistic results. 
LieuSalle 178 
OrateurAllyx Fontaine 
Emailallyx.fontaine@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index