Contributions à la specification et vérification des systèmes distribués . - KHARRAZ KARAM YOUNES (My University, 2016)