|
|
The ESTEREL language
Frédéric Boussinot
,
Robert De Simone
[Research Report] RR-1487, INRIA. 1991
Reports
inria-00075075v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An autograph primer
Valérie Roy
,
Robert de Simone
[Research Report] RT-0112, INRIA. 1989, pp.30
Reports
inria-00070054v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The chemical abstract machine
Gérard Berry
,
Gérard Boudol
[Research Report] RR-1133, INRIA. 1989
Reports
inria-00075426v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Process calculi, from theory to practice : verification tools
Gérard Boudol
,
Valérie Roy
,
Robert de Simone
,
Didier Vergamini
[Research Report] RR-1098, INRIA. 1989
Reports
inria-00075461v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Systèmes réactifs et programmation synchrone
Gérard Berry
,
Philippe Couronne
,
Georges Gonthier
[Rapport de recherche] RR-0524, INRIA. 1986
Reports
inria-00076030v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Synchronous programming of reactive systems: an introduction to ESTEREL
Gérard Berry
,
Philippe Couronne
,
Georges Gonthier
[Research Report] RR-0647, INRIA. 1987
Reports
inria-00075906v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Task-level robot programming combining object-oriented design and synchronous approach : a tentative study
Eve Coste-Maniere
,
Bernard Espiau
,
Eric Rutten
[Research Report] RR-1441, INRIA. 1991
Reports
inria-00075119v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Reactive shared variables bases systems
Frédéric Boussinot
[Research Report] RR-1849, INRIA. 1993
Reports
inria-00074823v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Synchronous approach to reactive and real-time systems
Albert Benveniste
,
Gérard Berry
[Research Report] RR-1445, INRIA. 1991
Reports
inria-00075115v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Boundary control and observation of some one-dimensional vibrating structures : regularity and stabilization
Juliette Leblond
,
Jean-Paul Marmorat
[Research Report] RR-1382, INRIA. 1991
Reports
inria-00075179v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An optimal triangulation for second order elliptic problems
Michel Delfour
,
G. Payre
,
J.P. Zolesio
[Research Report] RR-0420, INRIA. 1985
Reports
inria-00076136v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Utilisation d'Esterel dans un contexte asynchrone : une application robotique
Eve Coste-Maniere
[Rapport de recherche] RR-1139, INRIA. 1989
Reports
inria-00075420v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Incremental development of an HDLC protocol in Esterel
Gérard Berry
,
Georges Gonthier
[Research Report] RR-1031, INRIA. 1989
Reports
inria-00075527v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Algebraic calculi of processes and net expressions
Georges Gonthier
[Research Report] RR-0367, INRIA. 1985
Reports
inria-00076189v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The ESTEREL synchronous programming language : design, semantics, implementation
Gérard Berry
,
Georges Gonthier
[Research Report] RR-0842, INRIA. 1988
Reports
inria-00075711v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A reactive extension of C
Frédéric Boussinot
[Research Report] RR-1027, INRIA. 1989
Reports
inria-00075531v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
From regular expressions to deterministic automata
Gérard Berry
,
Ravi Sethi
[Research Report] RR-0649, INRIA. 1987
Reports
inria-00075904v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Une sémantique du langage ESTEREL
Frédéric Boussinot
[Rapport de recherche] RR-0577, INRIA. 1986
Reports
inria-00075977v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Réduction au sens de la norme de Hankel de modèles dynamiques de dimension infinie
Nadia Maïzi
Automatique / Robotique. École Nationale Supérieure des Mines de Paris, 1992. Français. ⟨NNT : ⟩
Theses
tel-00410522v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Real time programming : special purpose or general purpose languages
Gérard Berry
[Research Report] RR-1065, INRIA. 1989
Reports
inria-00075494v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Weak and branching bisimulation in Fctool
Amar Bouali
[Research Report] RR-1575, INRIA. 1992
Reports
inria-00074985v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Un système de vérification de processus parallèles et communicants
Valérie Lecompte
,
Eric Madelaine
,
Didier Vergamini
[Rapport de recherche] RT-0083, INRIA. 1987, pp.22
Reports
inria-00070081v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Programming a digital watch in Esterel v3
Gérard Berry
[Research Report] RR-1032, INRIA. 1989
Reports
inria-00075526v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Proving process calculi translations in ecrins :The pureLOTOS -> MEIJE example
Guillaume Doumenc
,
Eric Madelaine
,
Robert de Simone
[Research Report] RR-1192, INRIA. 1990
Reports
inria-00075367v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|