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

Description

.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00616284
2. http://tel.archives-ouvertes.fr/docs/00/61/62/84/PDF/50376-2005-Talbot.pdf

Tags

[INFO:INFO_OH] Computer Science/Other

process calculi verification

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00616284
Date	09 December 2005
Creators	Talbot, Jean-Marc
Publisher	Université des Sciences et Technologie de Lille - Lille I
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	habilitation ࠤiriger des recherches