Axiomatisations et types pour des processus probabilistes et mobiles
Cette th`ese se concentre sur des bases th´eoriques utiles pour l'analyse d'algorithmes et de protocoles<br />pour des syst`emes r´epartis modernes. Deux caract´eristiques importantes des mod`eles pour<br />ces syst`emes sont les probabilit´es et la mobilit´e typ´ee : des proba...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
École Nationale Supérieure des Mines de Paris
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00155225 http://tel.archives-ouvertes.fr/docs/00/15/52/25/PDF/main.pdf |