Synchronous programming of reactive systems: an introduction to ESTEREL

Authors:
G. Berry;P. Couronne;G. Gonthier
Affiliations:
-;-;-
Venue:
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
Year:
1988

Citing 0
Cited 2

Centaur: the system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems

Quantified Score

Hi-index	0.01

Visualization

Abstract