Insegnamento: Modelli e computazione

Modulo: Modelli della concorrenza (6 CFU)

Docenti

• Lucia Pomello
• Luca Bernardiello

Tutor

• ?

Argomenti

1. Modelli di sistemi concorrenti CCS (Calculus and Communicating Systems) e bisimulazione
2. Modelli di sistemi concorrenti: reti di Petri
3. Semantica e correttezza dei programmi sequenziali
4. Logiche temporali e model-checking