Julien Boucaron. Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement. (Formal Modelling of Latency Insensitive Systems and Scheduling). PhD thesis, University of Nice Sophia Antipolis, France, 2007. [doi]
Abstract is missing.