Reactive model

On the development of Reactive Systems, D. Harel, A. Pnueli, In logic and Models of Concurrent Systems, NATO Advanced Study Institute on Logics and Model of Verification and Specification of Concurrent Systems ASI Series F, Vol. 13, Springer-Verlag, 1985.
Synchronous Programming of Reactive Systems, N. Halbwachs, Kluwer Academic Pub 1993.


The Junior Reactive Kernel, L. Hazard, J-F. Susini, F. Boussinot, INRIA Research Report 3732, July 1999.
Programming with Junior, L. Hazard, J-F. Susini, F. Boussinot, INRIA Research Report 4027, July 2000.
Junior Rewrite Semantics, J-F. Susini, F. Boussinot, INRIA October 2000.

Other reactive developpements

Reactive-C: An extention of C to Program Reactive Systems, F. Boussinot, Software Practice & Experience, 21(4), 401-428, 1991.
Java Threads and SugarCubes, Software Practice and Experience, 30:545-566, January 2000.
FairThreads, F. Boussinot, INRIA Research Report 4139, February 2001.
The SugarCubes tool Box - A reactive Java framework, F. Boussinot, J-F. Susini, software Practice & Experiences, 28(14) 1531-1550† 1998.
Reactive Scripts, F. Boussinot, L. Hazard, Proc. International Conference on Real-Time Computing Systems and Applications, RTCSA, Seoul, IEEE, October 1996.


A Structural Approach to Operational Semantics. Report DAIMI FN-19, Aarhus University, 1981.

Synchronous languages

The Esterel Synchronous Language: Design, Semantics Implementation. G. Berry, G. Gonthier. Science of Computer Programming, 19(2), 1992.

The Synchronous dataflow Programming Language Lustre. N. Halbwachs, P. Caspi, P. Raymond, Ch. Ratel. Proc. IEEE, 79(9), 1991.

Programming realtime applications with SIGNAL. P. Le Guernic, T. Gautier, M. Le Borgne, et M. Le Maire. Rapport Technique 1446, INRIA-Rennes, 1991.


REactive Java Objects, Reactive Operating System, Raul ACOSTA BERMEJO, Rapport de Stage, DEA RSD April-July 2000.
RAMA: Reactive Autonomous Mobil Agent, Navid Nikaheim, Rapport de Stage, DEA RSD Sep.1999.
Sinior, Julien, Rapport de Stage, DEA Informatique Sep.2001.


JavaCC, Distributed by the WebGain company. HTTP://
Lex & Yacc, 2nd Edition, T. Mason, J. Levine, D. Brown. O'Reilly.
Intelligent Agent V, Agent Theories, Architecture and Languages, Lecture in Artificial Intelligence 1555, Subseries of Lecture Notes in Computer Science, Springer 5th WorkShop ATALí98.
Foundation for Intelligent Phisical Agents,