1. Raul Acosta-Bermejo. Reactive Operating System, Reactive Java Objects. Proc. NOTERE'2000, ENST, Paris, November 2000
2. Synthesis of max-plus quasi-interpretations;Amadio;Fundamenta Informaticae,2005
3. Resource control for synchronous cooperative threads;Amadio,2004
4. R. Amadio, F. Dabrowski. Feasible reactivity for synchronous cooperative threads. In preparation
5. F. Benbadis and L. Mandel. Simulation of mobile ad hoc networks in reactive ML. Pre-print Université Paris 6, available from the authors, 2004