The SL synchronous language, revisited

Journal of Logic and Algebraic Programming

Volumn 70, Issue 2, 2007, Pages 121-150

  Amadio, Roberto M ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

Bisimulation; CPS translation; Determinism; Expressivity; Reactivity; Synchronous programming

Indexed keywords

COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER SIMULATION; LOGIC DESIGN; LOGIC PROGRAMMING;

BISIMULATION; CPS TRANSLATION; DETERMINISM; EXPRESSIVITY; REACTIVITY; SYNCHRONOUS PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33751120985     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2006.08.001     Document Type: Article

References (21)

1. R. Amadio, G. Boudol, F. Boussinot, I. Castellani, Reactive programming, revisited, in: Proc. Workshop on Algebraic Process Calculi: The First 25 years and Beyond, Bertinoro, NS-05-3 BRICS Notes Series, August 2005, Electronic Notes Theor. Comput. Sci., in press.
2. Amadio R., Castellani I., and Sangiorgi D. On bisimulations for the asynchronous π-calculus. Theor. Comput. Sci. 195 (1998) 291-324
3. Amadio R., and Dal-Zilio S. Resource control for synchronous cooperative threads. Proc. CONCUR. LNCS vol. 3170 (2004), Springer 68-82
4. R. Amadio, F. Dabrowski, Feasible reactivity for synchronous cooperative threads, in: Proc. EXPRESS, 2005, Electronic Notes Theor. Comput. Sci. 154 (3) (2006).
5. Berry G., and Gonthier G. The Esterel synchronous programming language. Sci. Comput. Program. 19 2 (1992) 87-152
6. Baader F., and Nipkow T. Term Rewriting and All That (1998), Cambridge University Press
7. Boudol G. ULM, a core programming model for global computing. Proc. of ESOP. LNCS vol. 2986 (2004), Springer 234-248
8. Boussinot F. Reactive C: an extension of C to program reactive systems. Software Practice Experience 21 4 (1991) 401-428
9. Boussinot F., and De Simone R. The SL synchronous language. IEEE Trans. Software Eng. 22 4 (1996) 256-266
10. Fournet C., and Gonthier G. A hierarchy of equivalences for asynchronous calculi (extended abstract). Proc. ICALP. LNCS vol. 1443 (1998), Springer 844-855
11. Hennessy M., and Rathke J. Bisimulations for a calculus of broadcasting systems. Theor. Comput. Sci. 200 1-2 (1998) 225-260
12. Honda K., and Yoshida N. On reduction-based process semantics. Theor. Comput. Sci. 151 2 (1995) 437-486
13. Kahn G. The semantics of a simple language for parallel programming. Proc. IFIP Congress (1974), North-Holland 471-475
14. L. Mandel, M. Pouzet, ReactiveML, a reactive extension to ML, in: Proc. ACM Principles and Practice of Declarative Programming, 2005, pp. 82-93.
15. A. Matos, G. Boudol, I. Castellani, Typing non-interference for reactive programs, RR-INRIA 5594, June 2005, Extended abstract presented at the Foundations of Computer Security 2004 workshop.
16. Milner R. Communication and Concurrency (1989), Prentice-Hall
17. Milner R., and Sangiorgi D. Barbed bisimulation. Proc. ICALP. LNCS vol. 623 (1992), Springer 685-695
18. J. Ousterhout, Why threads are a bad idea (for most purposes), Invited talk at the USENIX Technical Conference 1996.
19. Prasad K.V.S. A calculus of broadcasting systems. Sci. Comput. Program. 25 2-3 (1995) 285-327
20. Reactive Programming, INRIA, Mimosa Project. Available from: .
21. M. Serrano, F. Boussinot, B. Serpette, Scheme fair threads, in: Proc. ACM Principles and Practice of Declarative Programming, 2004, pp. 203-214.