Home » Archivo » Archvio 2011 » Linguaggi e modelli per il global computing - 2011/2012

Laurea Magistrale

Salta il menu di secondo livello

Linguaggi e modelli per il global computing - 6 CFU - A.A. 2011/2012

Insegnante

Prof. Paolo Baldan

Periodo

I anno - 2 trimestre | 16/01/2012 - 17/03/2012

Curriculum:

Ore: 48 Frontali, 0 Laboratorio, 0 Esercizi

Torna su ▲

Programma del Corso

Il corso si articolerà come segue:

- Introduzione alla concorrenza e mobilità: dagli automi ai sistemi
reattivi e concorrenti.

- Calculus of Communicating Systems (CCS): Sistemi di transizione e
bisimulazione. Logica di Hennessy-Milner e strumenti per la
verifica. Mutua esclusione, deadlock, fairness. Proprietà di safety
e liveness. Verifica con il Concurrency Workbench.

- Sistemi con topologia dinamica e mobilita': pi-calcolo. Controllo
degli accessi e tipi. Il Mobility Workbench. Legami con linguaggi
evoluti per la concorrenza (es. Google Go, Erlang).

– Temi selezionati con approfondimenti a scelta tra:
Sistemi a canali cifrati: lo spi-calcolo. Applicazione alla
sicurezza dei protocolli. Service-oriented computing. Ad hoc
networks. System biology.

Prerequisiti: E` opportuno avere alcune conoscenze di base di semantica dei linguaggi di programmazione

Propedeuticità:

Ausili Didattici: - -

Testi di Riferimento: L. Aceto, A. Ingolfsdottir, K.G. Larsen, J. Srba "Reactive systems"
Cambridge University Press

Torna su ▲