@PHDTHESIS{river2011, url = "http://www.theses.fr/2011NICE4125", title = "Reconfiguration and life-cycle distributed components : asynchrony, coherence and verification", author = "Rivera, Marcela", year = "2011", pages = "1 vol. (x-131 p.)", note = "Thèse de doctorat dirigée par Henrio, Ludovic Informatique Nice 2011", note = "2011NICE4125", }