Search - Centre de Mathématiques Appliquées Access content directly

Filter your results

24 Results
Deposit type : Fulltext
Image document

An autograph primer

Valérie Roy , Robert de Simone
[Research Report] RT-0112, INRIA. 1989, pp.30
Reports inria-00070054v1
Image document

The ESTEREL language

Frédéric Boussinot , Robert De Simone
[Research Report] RR-1487, INRIA. 1991
Reports inria-00075075v1
Image document

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
Image document

Systèmes réactifs et programmation synchrone

Gérard Berry , Philippe Couronne , Georges Gonthier
[Rapport de recherche] RR-0524, INRIA. 1986
Reports inria-00076030v1
Image document

The chemical abstract machine

Gérard Berry , Gérard Boudol
[Research Report] RR-1133, INRIA. 1989
Reports inria-00075426v1
Image document

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
Image document

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
Image document

An optimal triangulation for second order elliptic problems

Michel Delfour , G. Payre , J.P. Zolesio
[Research Report] RR-0420, INRIA. 1985
Reports inria-00076136v1
Image document

The Synchronous approach to reactive and real-time systems

Albert Benveniste , Gérard Berry
[Research Report] RR-1445, INRIA. 1991
Reports inria-00075115v1
Image document

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
Image document

Reactive shared variables bases systems

Frédéric Boussinot
[Research Report] RR-1849, INRIA. 1993
Reports inria-00074823v1
Image document

Incremental development of an HDLC protocol in Esterel

Gérard Berry , Georges Gonthier
[Research Report] RR-1031, INRIA. 1989
Reports inria-00075527v1
Image document

Algebraic calculi of processes and net expressions

Georges Gonthier
[Research Report] RR-0367, INRIA. 1985
Reports inria-00076189v1
Image document

Utilisation d'Esterel dans un contexte asynchrone : une application robotique

Eve Coste-Maniere
[Rapport de recherche] RR-1139, INRIA. 1989
Reports inria-00075420v1
Image document

The ESTEREL synchronous programming language : design, semantics, implementation

Gérard Berry , Georges Gonthier
[Research Report] RR-0842, INRIA. 1988
Reports inria-00075711v1
Image document

From regular expressions to deterministic automata

Gérard Berry , Ravi Sethi
[Research Report] RR-0649, INRIA. 1987
Reports inria-00075904v1
Image document

Une sémantique du langage ESTEREL

Frédéric Boussinot
[Rapport de recherche] RR-0577, INRIA. 1986
Reports inria-00075977v1
Image document

A reactive extension of C

Frédéric Boussinot
[Research Report] RR-1027, INRIA. 1989
Reports inria-00075531v1
Image document

Real time programming : special purpose or general purpose languages

Gérard Berry
[Research Report] RR-1065, INRIA. 1989
Reports inria-00075494v1
Image document

Weak and branching bisimulation in Fctool

Amar Bouali
[Research Report] RR-1575, INRIA. 1992
Reports inria-00074985v1
Image document

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
Image document

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
Image document

Programming a digital watch in Esterel v3

Gérard Berry
[Research Report] RR-1032, INRIA. 1989
Reports inria-00075526v1
Image document

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