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

Type de document :
HDR
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2005
Liste complète des métadonnées

Littérature citée [146 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00616284
Contributeur : Inria Mostrare <>
Soumis le : lundi 22 août 2011 - 00:42:53
Dernière modification le : jeudi 21 février 2019 - 10:52:49
Document(s) archivé(s) le : vendredi 25 novembre 2011 - 11:50:40

Identifiants

  • HAL Id : tel-00616284, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

279

Téléchargements de fichiers

363