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

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

.

Bibliographic Details
Main Author: Talbot, Jean-Marc
Language:FRE
Published: Université des Sciences et Technologie de Lille - Lille I 2005
Subjects:
[INFO:INFO_OH] Computer Science/Other
process calculi verification
Online Access:http://tel.archives-ouvertes.fr/tel-00616284
http://tel.archives-ouvertes.fr/docs/00/61/62/84/PDF/50376-2005-Talbot.pdf
id ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00616284
record_format oai_dc
spelling ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-006162842013-01-07T17:35:35Z http://tel.archives-ouvertes.fr/tel-00616284 http://tel.archives-ouvertes.fr/docs/00/61/62/84/PDF/50376-2005-Talbot.pdf Model-checking pour les ambients : des algèbres de processus aux données semi-structurées Talbot, Jean-Marc [INFO:INFO_OH] Computer Science/Other process calculi verification . 2005-12-09 FRE habilitation ࠤiriger des recherches Université des Sciences et Technologie de Lille - Lille I
collection NDLTD
language FRE
sources NDLTD
topic [INFO:INFO_OH] Computer Science/Other
process calculi verification
spellingShingle [INFO:INFO_OH] Computer Science/Other
process calculi verification
Talbot, Jean-Marc
Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
description .
author Talbot, Jean-Marc
author_facet Talbot, Jean-Marc
author_sort Talbot, Jean-Marc
title Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
title_short Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
title_full Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
title_fullStr Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
title_full_unstemmed Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
title_sort model-checking pour les ambients : des algèbres de processus aux données semi-structurées
publisher Université des Sciences et Technologie de Lille - Lille I
publishDate 2005
url http://tel.archives-ouvertes.fr/tel-00616284
http://tel.archives-ouvertes.fr/docs/00/61/62/84/PDF/50376-2005-Talbot.pdf
work_keys_str_mv AT talbotjeanmarc modelcheckingpourlesambientsdesalgebresdeprocessusauxdonneessemistructurees
_version_ 1716396262253658112

Similar Items