Projet Meije
Précédent : Diffusion des résultats
Remonter : Projet MEIJE, Parallélisme, Synchronisation
et
- Ouvrages et articles de référence
de l'équipe
- 1
- F. BOUSSINOT,
La programmation réactive ,
Masson, 1996.
- Livres et
monographies
- 2
- R. AMADIO, P.-L.
CURIEN,
Domains and Lambda-Calculi ,
Cambridge University Press,
à paraître.
- Thèses et habilitations à diriger
des recherches
- 3
- H. TOMA,
Analyse constructive et optimisation des circuits générés à
partir du langage synchrone réactif Esterel ,
thèse de doctorat, Ecole des Mines de Paris, CMA - Ecole des
Mines de Paris, BP 207, 06904 Sophia-Antipolis Cedex, septembre
1997.
- Articles
- 4
- C. ANDRÉ, M.
BOURDELLÈS, S.
DISSOUBRAY,
« SynCharts/Esterel: un environnement graphique pour la
spécification et la programmation d'applications réactives
complexes »,
Revue du Génie Logiciel 46 , 1997.
- 5
- I. CASTELLANI, G. Q.
ZHANG,
« Parallel product of event structures »,
Theoretical Comput. Science 179 , 1-2, 1997, p.
203-215.
- 6
- M. L. DE
SOUZA, R.
DE
SIMONE,
« Partial-order automata and behavioural equivalences »,
European Journal of Automation 31 , 3, 1997.
- Communications à des manifestations
scientifiques
- 7
- R. AMADIO,
« An asynchronous model of locality, failure, and process
mobility »,
in: Proc. Coordination 97, Springer Lecture Notes in Comp.
Sci. 1282 ,
1997.
- 8
- G. BERRY,
« The Foundations of Esterel »,
in: Proof, Language and Interaction: Essays in Honour of
Robin Milner , G. P. et M. Tofte (réd.),
Addison-Wesley,
1998.
- 9
- G. BOUDOL,
« The pi-calculus in direct style »,
in: Proceedings POPL'97 ,
1997.
- 10
- G. BOUDOL,
« Typing the use of resources in a concurrent calculus »,
in: Proceedings ASIAN'97, LNCS à paraître ,
1997,
- 11
- F. BOUSSINOT, G.
DOUMENC, L.
HAZARD, Y.
MAINGUY, J.-B.
STEFANI, J.-F.
SUSINI,
« Programmation réactive d'applications distribuées »,
in: Actes conférence NOTERE'97 ,
1997.
- 12
- D. SANGIORGI,
« The name discipline of receptiveness »,
in: Proc. ICALP'97, Springer Lecture Notes in Comp. Sci.
1256 ,
1997.
- 13
- E. SENTOVICH, H.
TOMA, G.
BERRY,
« Latch Optimization in Circuits Generated from High-level
Descriptions »,
in: ICCAD'96 proceedings ,
novembre 1996.
- 14
- E. SENTOVICH, H.
TOMA, G.
BERRY,
« Efficient Latch Optimization Using Incompatible Sets »,
in: DAC'97 proceedings ,
juin 1997.
- Rapports de
recherche
- 15
- R. AMADIO, S.
COUPET-GRIMAL,
« Analysis of a guard condition in type theory (preliminary
report) »,
rapport de recherche NoTR 1997.245. Also RR-3300 INRIA,
Université de Provence (LIM), 1997,
http://www.inria.fr/rapports/sophia/RR-3300.html
.
- 16
- R. AMADIO, S.
PRASAD,
« Modelling IP mobility »,
rapport de recherche NoTR 1997.244. Aussi RR-3301 INRIA,
Université de Provence (LIM), 1997,
http://www.inria.fr/rapports/sophia/RR-3301.html
.
- 17
- M. BOURDELLÈS,
« The Steam Boiler Controller Problem in ESTEREL and its
Verification by Means of Symbolic Analysis »,
rapport de recherche NoRR-3285, INRIA, 1997,
http://www.inria.fr/rapports/sophia/RR-3285.html
.
- 18
- F. BOUSSINOT, J.
SUSINI,
« The SugarCubes Tool Box »,
rapport de recherche NoRR-3247, INRIA, 1997,
http://www.inria.fr/rapports/sophia/RR-3247.html
.
- 19
- F. BOUSSINOT,
« Icobj Programming »,
rapport de recherche NoRR-3028, INRIA, 1997,
http://www.inria.fr/rapports/sophia/RR-3028.html
.
- 20
- S.
DAL-ZILIO,
« Implicit polymorphic type system for the blue calculus »,
rapport de recherche NoRR-3244, INRIA, 1997,
http://www.inria.fr/rapports/sophia/RR-3244.html
.
- Divers
- 21
- J. KLEIST, D.
SANGIORGI,
« Imperative Objects and Mobile Processes »,
Soumis à publication, 1997.
- 22
- D. SANGIORGI,
« Typed 
-calculus at work: a proof of
Jones's parallelisation transformation on concurrent objects
»,
Présenté au quatrième Workshop on Foundations of
Object-Oriented Languages (FOOL 4). À paraître dans Theory
and Practice of Object-oriented Systems, 1997.