Analyse des systèmes mobiles par interprétation abstraite.
Un système mobile est un ensemble de composants qui peuvent interagir entre eux, tout en modifiant dynamiquement le système lui-même. Ces interactions contrôlent ainsi la création et la destruction des liaisons entre les composants, mais aussi la création dynamique de nouveaux composants au sein du...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole Polytechnique X
2005
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00001303 http://pastel.archives-ouvertes.fr/docs/00/50/34/42/PDF/feret.pdf |