Reactive objects

Annales des Telecommunications/Annals of Telecommunications

Volumn 51, Issue 9-10, 1996, Pages 459-473

  Boussinot, Frédéric ^a,d,e   Doumenc, Guillaume ^b,f,g   Stefani, Jean Bernard ^c,h,i  

^a PSL RESEARCH UNIVERSITY   (France)

^b Soft Mountain   (France)

^c ORANGE LABS   (France)

^d UNIVERSITÉ PARIS DESCARTES   (France)

^e THALES   (France)

^f Ecole des Mines

^g Ecole des Mines ^*

^h ECOLE POLYTECHNIQUE   (France)

ⁱ TELECOM PARISTECH   (France)

Author keywords

Distributed processing; Object oriented method; Parallelism; Programming language; Semantics; Symbolic calculus

Indexed keywords

EID: 0001699370     PISSN: 00034347     EISSN: 19589395     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. AGHA (G.), FROLUND (S.), WOO YOUNG (K.), PANWAR (R.), PATTERSON (A.), STURMAN (D.). Abstraction and modularity mechanisms for concurrent computing. In Gul Agha and Peter Wegner and Akinori Yonezawa, editor, Research Directions in Concurrent Object Oriented Programming, MIT Press (1993), pp. 3-21.
2. AGHA (G.). Actors : a model of concurrent computation in distributed systems. MIT Press (1986).
3. ***. ODP reference model : architecture. ITU-T-ISO/IEC Recommendation X.903. International Standard 10746-2 (Jan. 1995).
4. BERRY (G.), BOUDOL (G.). The chemical abstract machine. TCS (1992), 96, pp. 217-248.
5. BOUSSINOT (F.), SIMONE (R. de). The SL synchronous language. IEEE Trans. Software Engineering (Apr. 1996), 22, no 4, pp. 256-266.
6. BERRY (G.), GONTHIER (G.). The Esterel synchronous programming language : design, semantics, implementation. Science Of Computer Programming (1992), 19, no 2, pp. 87-152.
7. BERNHARD (R.), HAZARD (L.), HORN (F), STEFANI (J. B.). Implementation of a synchronous execution machine on the chorus micro-kernel. In Proc. 14th IEEE Real-Time Systems Symposium, Raleigh, NC, USA (Dec. 1993).
8. BOUSSINOT (F). Reactive C : an extension of C to program reactive systems. Software Practice and Experience (1991), 21, no 4, pp. 401-428.
9. BOUSSINOT (F). Réseaux de processus réactifs. Technical Report 1588, INRIA (1992).
10. BOUSSINOT (F). La programmation réactive. CTST, Masson (1996).
11. CORBIN (J. R.). The art of distributed applications : programming techniques for remote procedure calls. Sun Technical Reference Library. Springer Verlag (1991).
12. DOUMENC (G.), GARCIN (G.), GUEYDON (P.). Un système de contrôle/commande réactif strict. In Proc. RTS'94 (1994).
13. ***. ODP Reference model : foundations. ITU-T ISO/IEC Recommendation X.902. International Standard 10746-2 (Jan. 1995).
14. HEWITT (C.). Viewing control structure as patterns of passing messages. Journal of Artificial Intelligence (1977), 8, no 3, pp. 323-364.
15. LANEVE (C.), BOUSSINOT (F.). Two semantics for a language of reactive objects. Technical Report RR-2511, INRIA (March 1995).
16. MILNER (R.). The polyadic π-calculus : a tutorial. Technical Report ECS LFCS 91 180, University of Edinburgh (Oct. 1991).
17. ***. Object management group : the common object request broker : architecture and specification. OMG Document 91.12.1 (Dec. 1991).
18. ONEZAWA (A.), BRIOT (J. P.), SHIBAYAMA (E.). Object-oriented concurrent programming in ABCL/1. Proc. of the OOPSLA'86 (1986), pp. 258-268.
19. STEFANI (J. B.), AUZIMOUR (P.), DANG TRAN (F,), HAZARD (L.), HORN (F.), PEREBASKINE (V.). A real-time DPE on top of the chorus micro-kernel. Technical Report NT/PAA/TSA/TLR/4179, CNET (Jan. 1995).
20. STEFANI (J. B.). Computational aspects of QoS in an object based distributed system architecture. 3rd International Workshop on Responsive Computer Systems, Lincoln, NH, USA (Sep. 1993).
21. UNGAR (D.), SMITH (R. B.). Self : the power of simplicity. Lisp and Symbolic Computation (1991), no 4, pp. 187-205.