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

Jean-Marc Talbot

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

Domain :

Computer Science [cs] / Other [cs.OH]

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

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

File

Identifiers

Collections

Citation

Export

Metrics

284

367

Contact

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

File

Identifiers

Collections

Citation

Export

Share

Metrics

284

367

Contact