Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
Descriptions, reviews, purchase source. [Amazon.com]
Synchronous
A "synchronous" team at the Verimag laboratory. Presentation, people. Research topics includes language design. Publications and tools.
Synchronous Programming of Reactive Systems
Descriptions, reviews, purchase source. [Amazon.com]
Synchronous Programming of Reactive Systems
Book by Nicolas Halbwachs (1992) which presents a synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. Out…
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 call…