From synchrony to asynchrony

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

Volumn 1664 LNCS, Issue , 1999, Pages 162-177

  Benveniste, Albert ^a   Caillaud, Benoît ^a   Le Guernic, Paul ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONOUS COMMUNICATION; ASYNCHRONY; DESYNCHRONIZATION; MINI PROJECTS; PROOF OBLIGATIONS; SYNCHRONOUS DESIGNS; SYNCHRONOUS PROGRAM;

SEMANTICS;

EID: 84888246462     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_13     Document Type: Conference Paper

References (22)

1. R. Alur and T. A. Henzinger. Reactive modules. In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, LICS'96, pages 207-218, 1996. extended version submitted for publication.
2. T. P. Amagbegnon, L. Besnard, and P. Le Guernic. Arborescent canonical form of boolean expressions. Technical Report 2290, Inria Research Report, June 1994.
3. T. P. Amagbegnon, L. Besnard, and P. Le Guernic. Implementation of the dataflow language signal. In Proceedings of the ACM SIGPLAN Conference on Programming Languages Design and Implementation, PLDI'95, pages 163-173, 1995.
4. P. Aubry. Mises en œuvre distribuées de programmes synchrones. PhD thesis, université de Rennes 1, 1997.
5. A. Benveniste and G. Berry, editors. Proceedings of the IEEE, volume 79, chapter The special section on another look at real-time programming, pages 1268-1336. IEEE, September 1991.
6. A. Benveniste and G. Berry. Real-time systems design and programming. Another look at real-time programming, special section of Proc. of the IEEE, 79(9):1270-1282, September 1991.
7. A. Benveniste and P. Le Guernic. Hybrid dynamical systems theory and the signal language. IEEE Transactions on Autom. Control, 35(5):535-546, May 1990.
8. A. Benveniste, P. Le Guernic, and P. Aubry. Compositionality in dataflow synchronous languages: specification & code generation. research report RR-3310, INRIA, November 1997. http://www.inria.fr/RRRT/publications-eng.html, see also a revised version co-authored with B. Caillaud, March 1998.
9. G. Berry. Real time programming: Special purpose or general purpose languages. In Proceedings of the IFIP World Computer Congress, San Francisco, 1989.
10. G. Berry. The constructive semantics of esterel. Draft book, http://www.inria.fr/meije/esterel, December 1995.
11. G. Berry and E. M. Sentovich. An implementation of construtive synchronous programs in polis. manuscript, November 1998.
12. B. Caillaud, P. Caspi, A. Girault, and C. Jard. Distributing automata for asynchronous networks of processors. European Journal on Automated Systems, 31(3):503-524, 1997.
13. P. Caspi. Clocks in dataflow languages. Theoretical Computer Science, 94:125-140, 1992.
14. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
15. N. Halbwachs, F. Lagnier, and Ratel C. Programming and verifying real-time systems by means of the synchronous dataflow language lustre. IEEE Trans. on Software Engineering, 18(9):785-793, September 1992.
16. L. Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5(2):190-222, 1983.
17. L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proc. IFIP 9th World Congress, pages 657-668. North Holland, 1983.
18. P. Le Guernic, T. Gautier, M. Le Borgne, and Le Maire C. Programming real-time applications with SIGNAL. Another look at real-time programming, special section of Proc. of the IEEE, 79(9):1321-1336, September 1991.
19. O. Maffeis and P. Le Guernic. Distributed implementation of Signal : scheduling and graph clustering. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 149-169. Springer Verlag, September 1994.
20. EP-ATR Project. Signal : a formal design environment for real time systems. In 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, volume 915 of Lecture Notes in Computer Science, Aarhus, Denmark, 1995. Springer-Verlag.
21. Y. Sorel. Sorel: Real-time embedded image processing applications using the a3 methodology. In Proc. IEEE International Conf. on Image Processing, Lausanne, September 1996.
22. Y. Sorel and C. Lavarenne. Syndex v4.2 user guide. http://www-rocq.inria. fr/syndex/.articles/doc/doc/SynDEx42.html.