Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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

Jean-Marc Talbot 1, 2
1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
keyword : process calculi verification
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [146 references]  Display  Hide  Download
https://tel.archives-ouvertes.fr/tel-00616284
Contributor : Inria Mostrare <>
Submitted on : Monday, August 22, 2011 - 12:42:53 AM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Long-term archiving on: : Friday, November 25, 2011 - 11:50:40 AM

File

Vignette du document
50376-2005-Talbot.pdf

Identifiers

  • HAL Id : tel-00616284, version 1

Collections

MOSTRARE | CNRS | INRIA | UNIV-LILLE3 | LIFL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

322

Files downloads

426