Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
Domaines
Autre [cs.OH]
Loading...
Hdr
Année : 2005
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 24 mars 2023-14:52:54
Archivage à long terme le : vendredi 25 novembre 2011-11:50:40
Dates et versions
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⟩
164
Consultations
240
Téléchargements