TY - THES DP - http://www.theses.fr/2010REN1S188 TI - Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of computation AU - Ma, Yue A3 - Talpin, Jean-Pierre PY - 2010 SP - 1 vol. (VIII-232 p.) N1 - Thèse de doctorat Informatique Rennes 1 2010 N1 - 2010REN1S188 ER -