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