Linguaggi concorrenti e mobili (2005/2006)

Corso a esaurimento

Codice insegnamento
4S00058
Docente
Massimo Merro
crediti
5
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
non ancora assegnato

Obiettivi formativi

L'obbiettivo del corso non e' quello di studiare un qualche linguaggio di programmazione concorrente, ma fornire quei concetti e principi fondamentali che sono alla base diuna corretta programmazione concorrente con o senza mobilita' di codice.
A tal scopo verranno considerati dei modelli algebrici, vale a dire dei linguaggi molto semplici, che racchiudono tutte le caratteristiche principali dei linguaggi concorrenti reali. Tali modelli, chiamati calcoli di processo
(quali CCS, Pi-calcolo, Mobile Ambient), essendo piu semplici dei linguaggi reali, ben si prestano allo studio delle problematiche tipiche della concorrenza.
Durante il corso verrano forniti vari esempi ed applicazioni. Nell'ultima parte del corso verrano accennati nozioni di linguaggi distribuiti in cui agenti concorrenti migrano all'interno di reti di calcolatori.

Programma

-Richiami di teoria degli automi ed equivalenze tra linguaggi
-Processi sequenziali e la nozione di bisimulazione
-Processi concorrenti ed interazione tra processi
-Semantica operazionale per processi sequenziali e concorrenti.
-Equivalenze comportamentali forti e deboli
-Mobilita' di codice sotto varie forme
-Il pi-calcolo
-Applicazioni del pi-calcolo
-Equivalenze forti e deboli in pi-calcolo
-Accenni di linguaggi concorrenti distribuiti: Mobile Ambients e
Distributed pi.

Modalità d'esame

Il candidato dovra' sostenere una prova scritta. Voti minori o uguali a 26 possono essere confermati. Per voti dal 27 in su' e' richiesto un colloquio orale con il docente.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 55.0% 27 2
Respinti 20.0%
Assenti 20.0%
Ritirati 5.0%
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 9.0% 9.0% 9.0% 9.0% 36.3% 0.0% 9.0% 0.0% 18.1%

Valori relativi all'AA 2005/2006 calcolati su un totale di 20 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.