The Esterel Synchronous Programming Language: Design, Semantics, Implementation

[1]  Dominique Clément,et al.  Specifying the Behavior of Graphical Objects Using Esterel , 1989, TAPSOFT, Vol.2.

[2]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[3]  Gérard Berry,et al.  Synchronous programming of reactive systems: an introduction to ESTEREL , 1988 .

[4]  John C. Mitchell,et al.  The essence of ML , 1988, POPL '88.

[5]  Georges Gonthier.  Sémantiques et modèles d'exécution des langages réactifs synchrones : application à Esterel , 1988 .

[6]  Nicolas Halbwachs,et al.  LUSTRE: a declarative language for real-time programming , 1987, POPL '87.

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[9]  Didier Vergamini.  Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO , 1987 .

[10]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[11]  Ilaria Castellani,et al.  On the Semantics of Concurrency: Partial Orders and Transition Systems , 1987, TAPSOFT, Vol.1.

[12]  Gérard Berry,et al.  From Regular Expressions to Deterministic Automata , 1986, Theor. Comput. Sci..

[13]  Albert Benveniste,et al.  Signal-A data flow-oriented language for signal processing , 1986, IEEE Trans. Acoust. Speech Signal Process..

[14]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[15]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[16]  Luca Cardelli,et al.  Squeak: a language for communicating with mice , 1985, SIGGRAPH.

[17]  Edmund M. Clarke,et al.  SML-a high level language for the design and verification of finite state machines , 1985 .

[18]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[19]  David B. MacQueen.  Modules for standard ML , 1984, LFP '84.

[20]  Inmos Corp,et al.  Occam Programming Manual , 1984 .

[21]  A. Prasad Sistla,et al.  Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach , 1983, POPL '83.

[22]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[23]  S. J. Young,et al.  The programming language ADA reference manual: Springer-Verlag (1981) pp 243, $7.90, DM 16.50 , 1982, Microprocess. Microsystems.

[24]  Joseph Sifakis,et al.  Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.

[25]  Juris Hartmanis,et al.  The Programming Language Ada , 1983, Lecture Notes in Computer Science.

[26]  Gérard P. Huet,et al.  Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.

[27]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[28]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[29]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[30]  Janusz A. Brzozowski,et al.  Derivatives of Regular Expressions , 1964, JACM.