The synchronous data flow programming language LUSTRE
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 79 (9) , 1305-1320
- https://doi.org/10.1109/5.97300
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Specifying, programming and verifying real-time systems using a synchronous declarative languagePublished by Springer Nature ,1990
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- From a synchronous declarative language to a temporal logic dealing with multiform timePublished by Springer Nature ,1988
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- The VAL Language: Description and AnalysisACM Transactions on Programming Languages and Systems, 1982
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977