The term" reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is
now commonly accepted to designate permanently operating systems, and to distinguish …

This book will attempt to give a first synthesis of recent works con cerning reactive system
design. The term" reactive system" has been introduced in order to at'oid the ambiguities …

This paper informally presents the theoretical and practical foundations of synchronous
programming of reactive systems, mostly focusing on the author's Esterel language …

During the past decades, an incredible change of technology has been observed in many
devices: traditionally used mechanical parts have often been first replaced by analog …

Traditionally, circuits with combinational loops are found only in asynchronous designs.
However, combinational loops can also be useful for synchronous circuit design …

Argos belongs to the family of synchronous languages, designed for programming reactive
systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming …

We present SL, a new programming language of the synchronous reactive family in which
hypotheses about signal presence/absence are disallowed. One can decide that a signal is …

A logical theory for interface specification and verification of distributed, concurrent,
interactive, real-time systems is worked out based on a semantic foundation including …

This document is the primer for the EsterelTM synchronous programming language, which is
devoted to programming control-dominated software or hardware reactive systems. The …

We classify gate level circuits with cycles based on their stabilization behavior. We define a
formal class of combinational circuits, the constructive circuits, for which signals settle to a …