Fondamenti dell'Informatica: Semantica della Concorrenza

Pierpaolo Degano      Tel. 0502212757

Scopo del corso è:

1. studiare I fenomeni che si manifestano nei sistemi concorrenti e distribuiti per
   • evidenziarne I concetti basilari
   • inquadrarli in un ambiente formale
   • impadronirsi di una loro teoria, presentata dal punto di vista linguistico
2. fornire I concetti e gli stumenti di base per
   • progettare, specificare, realizzare e analizzare un sistema concorrente e distibuito usando gli strumenti di sostegno esistenti;
   • valutare l'adeguatezza di uno specifico linguaggio ad una particolare applicazione.

We will study the basics of concurrent and distributed systems. We use foundational calculi like CCs and the 1/4 calculus, and examine various semantic models for them.

Introduzione(2 ore)
Motivazioni pratiche e ragioni formali;
Obiettivi.

I parte: un calcolo per la concorrenza (16 ore)
CCS puro: sintassi e semantica operazionale;
Equivalenze basate sulla bisimulazione, debole e forte, e loro varie caratterizzazioni;
Confronti con altri calcoli e altre descrizioni.

II parte: agenti mobili (12 ore)
Pi-calcolo: sintassi e semantica operazionale, early e late;
Equivalenze basate sulla bisimulazione, early e late.

III parte: descrizioni non-standard (10 ore)
Il problema della causalità;
Descrizioni parametriche;
Causalità, località, priorità, tempo, probabilità.

Testi consigliati e dispense
Tra i vari articoli, appunti e materiale didattico che verrà distribuito a lezione, particolare rilevanza assumono:

• Milner, R. Communication and Concurrency, Prentice Hall, 1989.
• Milner, R. The polyadic pi-calculus: a tutorial, ECS-LFCS-91-180, University of Edinburgh, 1991.

Scritto e orale