Section: Overall Objectives

Highlights

• In the fascinating and rather old domain of distributed synthesis where significative steps forwards are difficult to obtain, Nathalie Sznajder has defined a natural framework based on signal communication between processes, and shown decidability of the synthesis problem for the class of architectures with strongly connected communication graph. The results are presented in the publications [17] , [6] as well as Nathalie's thesis, successfully defended on November 12, 2009 in Cachan.