Lucidi del corso di Linguaggi
Concorrenti e Mobili AA 2006/2007
Prof. Massimo Merro
Molte dei concetti visti in questo corso sono stati formalizzati, o
comunque fortemente influenzati da Robin
Milner,
premio Turing
1991.
1) Lezione introduttiva
2) Introduzione alle equivalenze comportamentali
(revisionata il 12/1/2006)
3) LTS, simulazione e bisimulazione forte
(revisionata il 12/1/2006)
4) Processi sequenziali: sintassi, semantica, esempi.
(revisionata il12/1/2006)
5) Processi concorrenti: sintassi, sostituzioni,
congruenza strutturale (revisionata il 23/1/2006)
6) Processi concorrenti: LTS, diagrammi di
inferenza, induzione sulle transizioni (revisionata il 23/1/2006)
7) Processi concorrenti: bisimulazione forte e
debole (revisionata il 2/2/2006)
8) Esempi di bisimulazione tra processi concorrenti
(revisionata il 2/2/2006)
9) Tecniche di prova (revisionata 20/2/2006)
10) Hennessy-Milner Logic (revisionata il 20/2/2006))
11) Introduzione ai Linguaggi Mobili (revisionata
il 20/2/2006)
12) Pi-calcolo: sintassi, semantica, poliadicita',
asincronia, replicazione (revisionata 20/2/2006)
13) Pi-calcolo: strutture dati (revisionata il
20/2/2006)
14) Pi-calcolo: Sorting
15) Pi-calcolo: Bisimulazione forte, debole, e risorse
replicate
Prova d'esame 25-03-2003
Prova d'esame 23-06-2003
Prova d'esame 07-07-2003
Prova d'esame 01-04-2004
Prova d'esame 05-07-2004
Prova d'esame 01-04-2005
Prova d'esame 27-03-2006
Prova d'esame 20-06-2006
Prova d'esame 12-09-2006
Prova d'esame 19-06-2007
Prova d'esame 04-07-2007
Prova d'esame 05-09-2007
Prova d'esame 19-09-2007
Prova d'esame 10-12-2007
Prova d'esame 23-06-08
Prova d'esame 08-07-08