Official Bibliography

We want to give here the official bibliographical references for the synchronous languages. Official means that these are the references given by the inventors of the languages themselves. Hence, our goal here is twofold. First, we want to give a list of bibliography references on synchronous languages, for the use of newcomers to this field. This should be particularly useful to PhD or Master students in their first year. And second, we want to list the official references so that people writing articles will know exactly what to cite. The references are classified by programming language. The corresponding file in the BibTeX format can be downloaded by right-clicking here.

References for the Synchronous Approach

References for ARGOS

References for ESTEREL

References for LUSTRE

References for SIGNAL

References for SL