SYSTÈMES DISTRIBUÉS | ConcurSys

Nous étudions la concurrence, le rejeu, le comportement des protocoles et la gestion des défaillances entre machines. Le travail s'ancre dans le modèle de coordination du système et les propriétés à valider, sans présumer de garanties au-delà de la conception convenue.

info@concursys.io