LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » أحـداث السـاعـة » مسجلون في الدكتوراه

LEHAUT Mathieu

مسجل في الدكتوراه
وحـدة : MoVe
تاريـخ الوصـول : 01/09/2017
تحديد : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 220
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 31 92, Mathieu.Lehaut (at) nulllip6.fr
رئاسـة البـحث : Béatrice BÉRARD
تأطـير مـشـترك : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)

Synthesis of Parameterized Systems

The aim of this work is to synthetize programs, in the setting of distributed systems with an unknown number of participating processes. Such programs will be correct by construction.

إصدارات 2018

  • 2018
 Mentions légales
| خـريـطـة المـوقـع