Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Richiami di matematica discreta e tecniche di prova.
• C - Programmazione
PCC - Programmazione Concorrente
Richiami di programmazione sequenziale e concorrente.
• D - Linguaggi
* S - Semantica
Modelli della concorrenza alternativi ai sistemi di transizione.
* LF - Linguaggi Formali
Equivalenze comportamentali come strumenti di astrazione
TAV - Tecniche di Analisi e Verifica
Equivalenze comportamentali come strumenti di minimizzazione di sistemi e come base per prove di correttezza.
TAV - Tecniche di Analisi e Verifica
Logiche Temporali e logiche modali e tecniche di verifica di proprietà dei sistemi basate sul model checking.
* S - Semantica
Semantica operazionale e denotazionale dei linguaggi di programmazione.
ALC - Astrazioni Linguistiche e Composizionalita'
Algebre e calcoli di processo e loro modelli come sistemi di transizione.
* LF - Linguaggi Formali
Automi a stati finiti e sistemi di transizione etichettati.