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

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

Identifiers

  • 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⟩

Share

Metrics

Record views

284

Files downloads

367