Expressivité des logiques d'espace

par Etienne Lozes

Thèse de doctorat en Informatique

Sous la direction de Pierre Lescanne et de Luis Monteiro.

Soutenue en 2004

à École normale supérieure (Lyon) en cotutelle avec l'Universidade nova de Lisboa .


  • Résumé

    Les logiques spatiales sont une nouvelle classe de formalismes dedies a la specification des systemes distribues dans la lignee des logiques modales (Hennessy-Milner). Elles peuvent aussi etre vues comme une extension de la logique classique mieux adaptee a la semantique axiomatique des langages imperatifs manipulant des pointeurs, dans la lignee de la logique de Hoare-Floyd. Cette these presente ces diverses logiques en les comparant du point de vue de leur expressivite. On etablit ainsi des encodages des logiques, des fragments minimaux, des unifications de logiques, et des resultats de decidabilite.

  • Titre traduit

    On the expressiveness of spatial logic


  • Résumé

    Spatial logics are a new formalism for specifying properties of concurrent systems in the line of modal logics (Hennessy - Milner). They may be seen also as an extension of classical logic better suited for giving an axiomatic semantics for imperative programs manipulating pointers in the line of Hoare-Floyd logic. This thesis present these several issues and compare the different approaches from the point of view of expressiveness. Several encoding, minimal fragments, and decidability results are presented.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (239 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 139-146

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.