On the combination of synchronous languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1536, Issue , 1998, Pages 490-514

  Poigné, Axel ^a   Holenderski, Leszek ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949206607     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49213-5_19     Document Type: Conference Paper

References (14)

1. Berry, G., Gonthier, G., The synchronous programming language Esterel: design, semantics, implementation. Science of Computer Programming, 19:87-152, 1992.
2. Berry, G, A hardware implementation of pure Esterel. Sadhana, Academy Proceedings in Engineering Seiendes, Indian Academy of Sciences, 17:95-130, 1992.
3. Budde, R., Sylla, K.H., Objekt-orientierte Echtzeitanwendungen auf Grundlage perfekter Synchronisation, Object-Spektrum, Feb. 1995
4. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D., The synchronous data flow programming language Lustre, Proceedings of the IEEE, 79(9):1305-1321, Sept. 1991.
5. Harel, D., STATECHARTS: A Visual Formalism for Complex Systems, Science of Computer Programming, 8(3)231-274,1987
6. Holenderski, L., Poigné, A., The Multi-Paradigm Synchronous Programming Language IE A, submitted, 97
7. Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C, Programming Real-time Applications with SIGNAL, Proceedings of the IEEE, 79(9), Sept. 1991
8. Maffeis, O., Poigné, A., Synchronous Automata for Reactive, Real-time, and Embedded Systems, Arbeitspapiere der GMD 964, Forschungszentrum Informationstechnik GmbH, Jan. 1996. (http://set.gmd.de/EES/papers/SAforRRES/SAforRRES.html)
9. Maraninchi, F., Operational and compositional semantics of synchronous automaton compositions, In Proceedings of CONCUR'92, volume 630 of lecture Notes in Computer Science, Springer-Verlag, 550-564, Aug. 1992.
10. Maranchini, F, Y. Rémond, Mode-Automata: About Modes and States in Reactive Systems, Research Report, Verimag, 1997
11. Poigné, A., Maffeis, O., Morley, M., Holenderski, L., Budde, R., The Synchronous Approach to Designing Reactive Systems, In: Formal Methods in System Design, Kluwer, 1998 (an earlier version can be found at http://set.gmd.de/EES/papers/SP.ps.gz)
12. Poigné, A., Holenderski, L., Boolean automata for implementing pure Esterel, Arbeitspapiere der GMD 964, Forschungszentrum Informationstechnik GmbH, 1-47, Dec. 1995. (http://set.gmd.de/EES/papers/E2BA.ps.gz)
13. Shiple, T.R., Berry, G., Toutai, H., Constructive Analysis of Cyclic Circuits, In: Proceedings of the European Design and Testing Conference, IEEE Computer Society, March 1996
14. The Synchrony Workbench, http://set.gmd.de/EES/synchrony/swb.html