previous up next contents                                RA 1994     RA 1996
Suivant : Table des matières

Action MICAS

Modèles et implémentation des calculs syntaxiques

Rapport d'activité 1995

Localisation : Rennes  

Mots clefs : MICAS, système de transition, réseau de Petri, dualité, graphe, structure d'événement, régularité, bisimulation