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
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



  • HAL Id : tel-00369583, version 1



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⟩



Record views


Files downloads