Esterel
Synchronous language and compiler, translates source code into complex state machines (software or hardware) automatically; can cut cost and development time of embedded systems by 50%. Recreates hijacked esterel.org website.

SyncCharts
Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system modeling. Many features inherited from StateCharts, Argos. Brief introduction, related publications, distribution, downloads.

Lustre
Declarative synchronous language, kernel language of SCADE (was SAO+/SAGA) industrial environment developed by Esterel Technologies; a description is a set of equations that must be verified always by program variables. [Verimag]

Argos and Argonaute
Argos: imperative synchronous language developed at Verimag. Argonaute: programming environment based on it, with compiler and some connections to verification tools. Aim: study, implement 2 mixed languages: Argos + Esterel/Lustre.

Synchronous Languages at Verimag
Languages and reactive systems laboratory: research topics, papers, tools, people, industrial and academic cooperations, projects/contracts. France.

The Multi-Paradigm Synchronous Programming Language LEA
To program synchronous reactive systems, made by merging 3 existing synchronous languages (Lustre, Esterel, Argos) by uniform translation rules to a common intermediate format called Boolean automata. Paper, PDF format.

The Synchronous Programming Language Signal: A Tutorial
For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters. Paper, PDF format.

The Esterel Synchronous Programming Language: Design, Semantics, Implementation
Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel is not full language, it is a program generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex]

Unification of Synchronous and Asynchronous Models for Parallel Programming Languages
Thesis proposing parallel language, based on C, that lets programmers explicitly specify and manage parallelism on a broad class of architectures. [Purdue University]

Synchronous Programming of Reactive Systems
Nicolas Halbwachs; Kluwer Academic Publishers, 1992, ISBN 0792393112. Presents synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. [Kluwer]

Synchronous Programming of Reactive Systems
Descriptions, reviews, purchase source. [Amazon.com]

Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
Descriptions, reviews, purchase source. [Amazon.com]

Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
By R.J. Wieringa; Morgan Kaufmann, 2002, ISBN 1558607552. Shows how techniques and approaches of 3 most popular design methods can be mixed in flexible, problem-driven way; more examples on companion website. [Morgan Kaufmann]