Typage et contrôle de la mobilité
Le calcul réparti est de plus en plus utilisé bien qu'il reste très mal maîtrisé. Cette thèse porte sur le Dpi-calcul, une extension simple du pi-calcul dans laquelle tous les processus sont placés dans des localités afin de décrire leur répartition. Dans ce calcul, les processus peuvent commun...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00140652 http://tel.archives-ouvertes.fr/docs/00/14/06/52/PDF/Hym_Typage_et_controle_de_la_mobilite_these_.pdf |