imposed by the environment. The system deals with inputs and outputs and the languages
for programming reactive systems aim at describing the complex ordering and causality
relations between the inputs and the corresponding outputs. The synchronous approach,
based upon the assumption that a system reacts in zero time, allows the definition of
compositional semantics for various kinds of language constructs, in data-flow frameworks …