Evènement pour le groupe Probabilité et informatique


Date 2011-01-24  11:00-12:00
TitreCPO 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.  
Lieu076 
OrateurNasser Saheb 



Aucun document lié à cet événement.

Retour
Retour à l'index