Albert Benveniste, Paul LeGuernic, Paul Caspi and Nicolas Halbwachs
A decade of concurrency, reflexions and perspeptives, REX School/Symposium, Lecture Notes in Computer Science, 803, pp:1-45,1993.
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish the common format for synchronous data-flow languages.
Keywords: data-flow, concurrency, reactive, real-time, synchrony vs. asynchrony