Riepilogo dell'insegnamento: Modelli e sistemi concorrenti
6 cfu così ripartiti nelle aree:
- 5 CFU nell'area A - Fondamenti
- 1 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
- A - Fondamenti
- *
ALF - Automi e Linguaggi Formali
Automi, labeled transition systems, equivalenze linear-time
- *
ALF - Automi e Linguaggi Formali
Automi e linguaggi formali, Equivalenze branching-time
- *
ALF - Automi e Linguaggi Formali
Semantica dei linguaggi di programmazione Semantica Operazionale strutturata, CCS
- *
ALF - Automi e Linguaggi Formali
Semantica dei linguaggi di programmazione Sottoclassi di espressività di CCS
- *
ALF - Automi e Linguaggi Formali
Logica HML, con aggiunta di ricorsione
- I - Ingegneria del software
- *
TVV - Testing, Verifica e Validazione
Equivalence-checking, Model-checking, strumento CWB
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa