Terminaison en temps moyen fini de systèmes de règles probabilistes
Nous avons dans cette thèse cherché à définir un formalisme simple pour pouvoir modéliser des systèmes où se combinent des phénomènes non-déterministes et des comportements aléatoires. Nous avons choisi d'étendre le formalisme de la réécriture pour lui permettre d'exprimer des phénomènes p...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Institut National Polytechnique de Lorraine - INPL
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00186774 http://tel.archives-ouvertes.fr/docs/00/18/67/74/PDF/These.pdf |