Structures algébriques en logique et concurrence - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2008

Structures algébriques en logique et concurrence

Résumé

In this work we shall synthesize the research activity we have accomplished since we received the PhD title at the University of Québec in Montréal. These researches have been developed at and made possible through several research institutions that we would like to thank: the BRICS at Aarhus University, the PIMS and the Department of Computer Science of Calgary University, the LaBRI at Bordeaux, and finally the Laboratoire d'Informatique Fondamentale in Marseilles and the University of Provence.

We aim at showing how the notion of algebraic and order structure can be a fruitful guide in the study of relevant subjects of computer science, such as concurrent processes and the modal and temporal logics that are of use in verification of computer systems.
Dans cet ouvrage nous allons résumer nos activités de recherche depuis l'obtention du titre de docteur à l'Université du Québec à Montréal. Ces recherches ont eu lieu auprès de et ont été possibles grâce à de nombreuses institutions que nous remercions : le BRICS à l'Université de Aarhus, le PIMS et le Département d'Informatique de l'Université de Calgary, le LaBRI de Bordeaux et, enfin, le Laboratoire d'Informatiqu Fondamentale de Marseille et l'Université de Provence. Nous souhaitons illustrer comment la notion de structure, algébrique et d'ordre, peut être un guide fructueux dans l'étude de sujets importants de l'informatique tels que les processus concurrents et les logiques modales et temporales pour la vérification des systèmes informatiques.
Fichier principal
Vignette du fichier
hdr.pdf (409.7 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00369583 , version 1 (20-03-2009)

Identifiants

  • HAL Id : tel-00369583 , version 1

Citer

Luigi Santocanale. Structures algébriques en logique et concurrence. Calcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008. ⟨tel-00369583⟩
164 Consultations
334 Téléchargements

Partager

Gmail Facebook X LinkedIn More