Louis Mandel, Florence Plateau. Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n.
Eleventh International Conference on Mathematics of Program Construction , Jun 2012, Madrid, Spain. Eleventh International Conference on Mathematics of Program Construction , 2012,
〈http://babel.ls.fi.upm.es/mpc2012/〉.
〈hal-01508142〉