1. Thesis;Bechon,1988
2. A denotational theory of synchronous communicating systems;Benveniste;INRIA Res. Rep. No. 685,1987
3. Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields;Benveniste;Proc. 1988 IEEE Control and Decision Conference,1988
4. Hybrid dynamical systems theory and the language SIGNAL;Benveniste;INRIA Res. Rep. No. 838,1988
5. Synchronous programming with events and relations: the SIGNAL language and its semantics;Benveniste;IRISA Res. Rep.,1989