Produit Synchronisé pour Quelques Classes de Graphes Infinis - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2000

Produit Synchronisé pour Quelques Classes de Graphes Infinis

Résumé

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 produit synchronisé. Nous établissons aussi ce fait pour la classe des graphes des machines de Turing et pour certaines de ses sous-classes. Nous nous intéressons également à la conservation par produit synchronisé de la décidabilité de la théorie du premier ordre de graphes infinis. Nous montrons que le produit synchronisé de graphes de machines à pile restreint à sa partie accessible depuis un sommet donné à une théorie du premier ordre qui n'est pas décidable. Cependant, le produit synchronisé de graphes sans racine distinguée et dont la théorie du premier oordre est décidable a une théorie du premier ordre qui est décidable. Enfin nous mettons en évidence des liens qui unissent les graphes des machines de Turing à ceux des spécifications de Thue.
no abstract
Fichier principal
Vignette du fichier
2LARE_Payet_a.pdf (3.87 Mo) Télécharger le fichier

Dates et versions

tel-00468099 , version 1 (30-03-2010)

Identifiants

  • HAL Id : tel-00468099 , version 1

Citer

Etienne Payet. Produit Synchronisé pour Quelques Classes de Graphes Infinis. Informatique [cs]. Université de la Réunion, 2000. Français. ⟨NNT : ⟩. ⟨tel-00468099⟩
248 Consultations
70 Téléchargements

Partager

Gmail Facebook X LinkedIn More