Evènement pour le groupe
Probabilité et informatique
| Date | 2011-01-24 11:00-12:00 |
| Titre | CPO des mesures |
| Résumé | Afin de formaliser la sémantique dénotationnelle des programmes probabilistes, nous introduisons le cpo (complete partial order) des mesures de probabilité. Cette approche permet d'éviter les identifications non souhaitables, liées à un
préordre imposé dans l'approche relationnelle du non-déterminisme. Nous étudions ensuite les propriétés importantes de cette construction. |
| Lieu | 076 |
| Orateur | Nasser Saheb |
Aucun document lié à cet événement.
RetourRetour à l'index