HAL: tel-00369583, version 1

Detailed view

Export this paper 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

(2008-12-09)

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

subject

:

Computer Science/Distributed, Parallel, and Cluster Computing Computer Science/Computer Science and Game Theory Computer Science/Logic in Computer Science

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

From: Luigi Santocanale <>

Submitted on: Friday, 20 March 2009 14:30:15

Updated on: Friday, 20 March 2009 15:26:45