1. Recherche
29 résultats  enregistrer la recherche
...
inria-00075075v1  Rapport
Frédéric Boussinot, Robert De Simone. The ESTEREL language
[Research Report] RR-1487, INRIA. 1991
...
inria-00074985v1  Rapport
Amar Bouali. Weak and branching bisimulation in Fctool
[Research Report] RR-1575, INRIA. 1992
...
inria-00074823v1  Rapport
Frédéric Boussinot. Reactive shared variables bases systems
[Research Report] RR-1849, INRIA. 1993
...
inria-00075115v1  Rapport
Albert Benveniste, Gérard Berry. The Synchronous approach to reactive and real-time systems
[Research Report] RR-1445, INRIA. 1991
...
inria-00075119v1  Rapport
Eve Coste-Maniere, Bernard Espiau, Eric Rutten. Task-level robot programming combining object-oriented design and synchronous approach : a tentative study
[Research Report] RR-1441, INRIA. 1991
...
inria-00076371v1  Rapport
Didier Austry, Gérard Boudol. Algebre de processus et synchronisation
[Rapport de recherche] RR-0187, INRIA. 1983
...
inria-00213472v2  Rapport
Annie Ressouche, Daniel Gaffé, Valérie Roy. Modular Compilation of a Synchronous Language
[Research Report] RR-6424, INRIA. 2008, pp.61
...
inria-00075179v1  Rapport
Juliette Leblond, Jean-Paul Marmorat. Boundary control and observation of some one-dimensional vibrating structures : regularity and stabilization
[Research Report] RR-1382, INRIA. 1991
...
inria-00075367v1  Rapport
Guillaume Doumenc, Eric Madelaine, Robert De Simone. Proving process calculi translations in ecrins :The pureLOTOS -> MEIJE example
[Research Report] RR-1192, INRIA. 1990
...
inria-00075531v1  Rapport
Frédéric Boussinot. A reactive extension of C
[Research Report] RR-1027, INRIA. 1989
...
inria-00075420v1  Rapport
Eve Coste-Maniere. Utilisation d'Esterel dans un contexte asynchrone : une application robotique
[Rapport de recherche] RR-1139, INRIA. 1989
...
inria-00076136v1  Rapport
Michel Delfour, G. Payre, J.P. Zolesio. An optimal triangulation for second order elliptic problems
[Research Report] RR-0420, INRIA. 1985
...
inria-00069980v1  Rapport
Amar Bouali, Annie Ressouche, Valérie Roy, Robert De Simone. The FCTOOLS User Manual (Version 1.0)
[Technical Report] RT-0191, INRIA. 1996, pp.34
...
inria-00070054v1  Rapport
Valérie Roy, Robert De Simone. An autograph primer
[Research Report] RT-0112, INRIA. 1989, pp.30
...
inria-00070081v1  Rapport
Valérie Lecompte, Eric Madelaine, Didier Vergamini. Un système de vérification de processus parallèles et communicants
[Rapport de recherche] RT-0083, INRIA. 1987, pp.22
...
inria-00071255v1  Rapport
Mireille Bossy, Nadia Maïzi, Geert Jan Olsder, Odile Pourtallier, Etienne Tanré. Using game theory for the electricity market
[Research Report] RR-5274, INRIA. 2006
...
inria-00076030v1  Rapport
Gérard Berry, Philippe Couronne, Georges Gonthier. Systèmes réactifs et programmation synchrone
[Rapport de recherche] RR-0524, INRIA. 1986
...
inria-00075904v1  Rapport
Gérard Berry, Ravi Sethi. From regular expressions to deterministic automata
[Research Report] RR-0649, INRIA. 1987
...
inria-00075906v1  Rapport
Gérard Berry, Philippe Couronne, Georges Gonthier. Synchronous programming of reactive systems: an introduction to ESTEREL
[Research Report] RR-0647, INRIA. 1987
...
inria-00075426v1  Rapport
Gérard Berry, Gérard Boudol. The chemical abstract machine
[Research Report] RR-1133, INRIA. 1989
...
inria-00075461v1  Rapport
Gérard Boudol, Valérie Roy, Robert De Simone, Didier Vergamini. Process calculi, from theory to practice : verification tools
[Research Report] RR-1098, INRIA. 1989
...
inria-00075527v1  Rapport
Gérard Berry, Georges Gonthier. Incremental development of an HDLC protocol in Esterel
[Research Report] RR-1031, INRIA. 1989
...
inria-00075526v1  Rapport
Gérard Berry. Programming a digital watch in Esterel v3
[Research Report] RR-1032, INRIA. 1989
...
inria-00075494v1  Rapport
Gérard Berry. Real time programming : special purpose or general purpose languages
[Research Report] RR-1065, INRIA. 1989
...
inria-00075977v1  Rapport
Frédéric Boussinot. Une sémantique du langage ESTEREL
[Rapport de recherche] RR-0577, INRIA. 1986
...
inria-00076230v1  Rapport
Gérard Berry, L. Cosserat. The Esterel synchronous programming language and its mathematical semantics
[Research Report] RR-0327, INRIA. 1984
...
inria-00076189v1  Rapport
Georges Gonthier. Algebraic calculi of processes and net expressions
[Research Report] RR-0367, INRIA. 1985
...
inria-00075711v1  Rapport
Gérard Berry, Georges Gonthier. The ESTEREL synchronous programming language : design, semantics, implementation
[Research Report] RR-0842, INRIA. 1988
...
inria-00076481v1  Rapport
Gérard Berry. Some syntactic and categorical constructions of lambda-calculus models
[Research Report] RR-0080, INRIA. 1981, pp.48

Contact


archive-ouverte@inria.fr