The synchronous data flow programming language LUSTRE

Pilaud, D.; Halbwachs, N.; Raymond, P.; Caspi, P.

doi:10.1109/5.97300

Record: found
Abstract: not found
Article: not found

The synchronous data flow programming language LUSTRE

Author(s): N. Halbwachs , P. Caspi , P. Raymond , D. Pilaud

Publication date (Print): Sept. 1991

Journal: Proceedings of the IEEE

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

Read this article at

ScienceOpenPublisher

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 7

Record: found
Abstract: not found
Conference Proceedings: not found

The temporal logic of programs

Amir Pnueli (1977)

0 comments Cited 397 times – based on 0 reviews

Record: found
Abstract: not found
Article: not found

Calculi for synchrony and asynchrony

Robin Milner (1983)

0 comments Cited 93 times – based on 0 reviews      Review now

Record: found
Abstract: not found
Conference Proceedings: not found

Model-checking for real-time systems

D. Dill, R. Alur, C. Courcoubetis (2025)

0 comments Cited 43 times – based on 0 reviews

All references

Author and article information

Journal

Title: Proceedings of the IEEE

Abbreviated Title: Proc. IEEE

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Print): 00189219

Publication date (Print): Sept. 1991

Volume: 79

Issue: 9

Pages: 1305-1320

Article

DOI: 10.1109/5.97300

SO-VID: 7b3a856d-ab27-43f8-943c-857c2f3a4946

History

Data availability:

The synchronous data flow programming language LUSTRE

Read this article at

Related collections

Language change

Most cited references 7

The temporal logic of programs

Calculi for synchrony and asynchrony

Model-checking for real-time systems

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 568

Cited by 88

Most referenced authors 44