Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Structures algébriques en logique et concurrence

Abstract : 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.
Complete list of metadatas

Cited literature [88 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00369583
Contributor : Luigi Santocanale <>
Submitted on : Friday, March 20, 2009 - 2:30:15 PM
Last modification on : Wednesday, December 9, 2020 - 3:13:08 AM
Long-term archiving on: : Friday, October 12, 2012 - 2:01:37 PM

File

Identifiers

  • HAL Id : tel-00369583, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

480

Files downloads

390