Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Concurrence
Thème :
Sémantique
–
Cursus :
MPRI - M2
2006 - 2007
Probabilistic process calculi and applications to Security
Catuscia Palamidessi
Expressiveness issues
Uses of randomization in distributed computing and in security
Elements of probability and measure theory. Probabilistic automata. The probabilistic pi-calculus