Reactive Concurrent Programming Revisited

Electronic Notes in Theoretical Computer Science

Volumn 162, Issue 1, 2006, Pages 49-60

  Amadio, Roberto M ^a   Boudol, Gérard ^b   Boussinot, Frédéric ^b   Castellani, Ilaria ^b  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b INRIA   (France)

Author keywords

concurrency; cooperative scheduling; reactive systems; semantics

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SYSTEMS PROGRAMMING; CONCURRENT ENGINEERING; SCHEDULING;

COOPERATIVE SCHEDULING; ESTEREL LANGUAGE; REACTIVE CONCURRENT PROGRAMMING; REACTIVE SYSTEMS;

SEMANTICS;

EID: 33749066717     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.104     Document Type: Article

References (26)

1. Raul Acosta-Bermejo. Reactive Operating System, Reactive Java Objects. Proc. NOTERE'2000, ENST, Paris, November 2000
2. Amadio R. Synthesis of max-plus quasi-interpretations. Fundamenta Informaticae 65 1-2 (2005) 29-60
3. Amadio R., and Dal-Zilio S. Resource control for synchronous cooperative threads. Proc. CONCUR. LNCS 3170 (2004), Springer
4. R. Amadio, F. Dabrowski. Feasible reactivity for synchronous cooperative threads. In preparation
5. F. Benbadis and L. Mandel. Simulation of mobile ad hoc networks in reactive ML. Pre-print Université Paris 6, available from the authors, 2004
6. Berry G., and Gonthier G. The Esterel synchronous programming language. Science of computer programming 19 2 (1992) 87-152
7. Bonfante G., Marion J.-Y., and Moyen J.-Y. On termination methods with space bound certifications. Proc. Perspectives of System Informatics. LNCS 2244 (2001), Springer
8. Boudol G. ULM, a core programming model for global computing. Proc. of ESOP. LNCS 2986 (2004), Springer
9. Boussinot F. Reactive C: An extension of C to program reactive systems. Software Practice Experience 21 4 (1991) 401-428
10. Frédéric Boussinot. Fairthreads: mixing cooperative and preemptive threads in C. Inria research report, RR-5039, December 2003, to appear in Concurrency and Computation: Practice & Experience
11. F. Boussinot, Reactive programming of cellular automata. Rapport de Recherche INRIA 5183, 2004
12. Boussinot F., and De Simone R. The SL Synchronous Language. IEEE Trans. on Software Engineering 22 4 (1996) 256-266
13. Boussinot F., and Susini J.-F. The SugarCubes tool box - a reactive Java framework. Software Practice and Experience 28 14 (1998) 1531-1550
14. Ch. Brunette. A visual reactive framework for dynamic behavior creation. 2nd Workshop on Domain Specific Visual Languages, OOPSLA, Seattle, 2002
15. P. Caspi and M. Pouzet. Synchronous Kahn networks. In Proc. ACM Conf. on Functional Programming, 1996
16. S. Epardaud. Mobile reactive programming in ULM. SCHEME Workshop, 2004
17. L. Hazard, J-F. Susini and F. Boussinot. The Junior reactive kernel. Inria Research Report, (3732), 1999
18. Hopcroft J., and Ullman J. Introduction to automata theory, languages, and computation (1989), Prentice-Hall
19. Kahn G. The semantics of a simple language for parallel programming. Proc. IFIP Congress (1974), North-Holland
20. Loft. http://www-sop.inria.fr/mimosa/rp/LOFT
21. Louis Mandel and Marc Pouzet. ReactiveML, a reactive extension to ML. In ACM International conference on Principles and Practice of Declarative Programming (PPDP'05), Lisbon, Portugal, July 2005
22. Milner R. Communication Concurrency (1989), Prentice-Hall
23. J. Ousterhout. Why threads are a bad idea (for most purposes). Invited talk at the USENIX Technical Conference, 1996
24. Riccardo Pucella. Reactive programming in Standard ML. Proceedings of the IEEE International Conference on Computer Languages (ICCL'98), pages 48-57, 1998
25. Reactive Programming, INRIA, Mimosa Project. http://www-sop.inria.fr/mimosa/rp
26. Serrano M., Boussinot F., and Serpette B. Scheme fair threads. PPDP'04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (2004), ACM Press, New York, NY, USA 203-214