Titolo:
| Probabilistic Process Algebra |
Relatore:
| Prof. Jos Baeten. |
Luogo:
| Aula II piano Collegio Raffaello (Piazza della Repubblica 13). |
Orario:
| 16:30 - 18:30. |
Numero di crediti:
| 0.25. |
Vincoli di partecipazione:
| Nessuno. |
Sommario:
| We start with an introduction into process algebra. After this, we focus on the addition of probabilistic choice. We discuss the interplay of probabilistic and non-deterministic choice, provide axiomatizations and semantics. We end with a discussion of branching bisimulation in a probabilistic setting. |
Docente di riferimento:
| Prof. Marco Bernardo. |
| Ultima modifica: 13/10/2004 | Approvato da: Presidente CCdL |