Produit Synchronisé pour Quelques Classes de Graphes Infinis
Cette thèse a pour cadre la spécification et la vérification de systèmes informatiques distribués, concurrents ou réactifs au moyen de graphes infinis associés à des spécifications de Thue et à certaines machines. Nous montrons que la classe des graphes des spécifications de Thue est fermée par prod...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de la Réunion
2000
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00468099 http://tel.archives-ouvertes.fr/docs/00/46/80/99/PDF/2LARE_Payet_a.pdf |