Fundamenta Informaticae > 2004 > Vol. 62, nr 3,4 > 291--332
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152,1992.
-
[2] N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9): 1305-1320, September 1991.
-
[3] P. Le Guemic, M. Le Borgne, T. Gautier, and C. Le Maire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1321-I336, September 1991.