HAL : tel-00369583, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Université de Provence - Aix-Marseille I (09/12/2008), Rémi Morin (Pr.)

Structures algébriques en logique et concurrence

Luigi Santocanale 1

(09/12/2008)

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.

1 :	Laboratoire d'informatique Fondamentale de Marseille (LIF)
	CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I

domaine

:

Informatique/Calcul parallèle, distribué et partagé Informatique/Informatique et théorie des jeux Informatique/Logique en informatique

mots-clés : mu-calcul – structures d'événements

tel-00369583, version 1

http://tel.archives-ouvertes.fr/tel-00369583

oai:tel.archives-ouvertes.fr:tel-00369583

Contributeur : Luigi Santocanale <>

Soumis le : Vendredi 20 Mars 2009, 14:30:15

Dernière modification le : Vendredi 20 Mars 2009, 15:26:45