Model-checking pour les ambients : des algèbres de processus aux données semi-structurées - TEL - Thèses en ligne
Hdr Année : 2005

Model-checking pour les ambients : des algèbres de processus aux données semi-structurées

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
50376-2005-Talbot.pdf (883.89 Ko) Télécharger le fichier

Inria Mostrare  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-00616284

Soumis le : lundi 22 août 2011-00:42:53

Dernière modification le : vendredi 17 mai 2024-16:32:06

Archivage à long terme le : vendredi 25 novembre 2011-11:50:40

Télécharger pour visualiser

Dates et versions

tel-00616284 , version 1 (22-08-2011)

Identifiants

  • HAL Id : tel-00616284 , version 1

Citer

Jean-Marc Talbot. Model-checking pour les ambients : des algèbres de processus aux données semi-structurées. Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2005. ⟨tel-00616284⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA LIFL MOSTRARE INRIA2
173 Consultations
254 Téléchargements

Partager

More