Parte del corso "Programmazione Concorrente", (ultimo aggiornamento 23/12/2005) titolare Prof. Rocco De Nicola
Parte del corso "Metodi Formali dell'Informatica: Sistemi Concorrenti", titolare Prof. Rocco De Nicola
Breve ciclo di lezioni tenuto all'interno del corso "Linguaggi di Programmazione: Paradigmi di Programmazione", titolare Prof.ssa Mariangiola Dezani, presso il Dipartimento di Informatica, Università di Torino
Lorenzo Bettini,