Knowledge Tree

researcher / C. Girault

C. Girault

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Directed Thesis:

Methodes d'analyse des systemes de processus communicants modelises en reseaux de petri a files

Les transformations lotomaton : une contribution a la pre-implementation des systemes lotos

Adaptation des systemes de stockage aux besoins des utilisateurs : l'approche micro-systemes de stockage et sa mise en Œuvre dans boss

Le paradigme acteur applique aux systemes embarques communicants : actnet, un reseau d'acteurs robotiques

Le probleme de job-shop

Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels