Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
.
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université des Sciences et Technologie de Lille - Lille I
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00616284 http://tel.archives-ouvertes.fr/docs/00/61/62/84/PDF/50376-2005-Talbot.pdf |