Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Modelli per la concorrenza

INSEGNAMENTO: Modelli per la concorrenza

 

Obiettivi e contenuti: saper applicare nozioni e tecniche matematiche per modellare e progettare di sistemi concorrenti.

 

Programma esteso

1. La relazione di concorrenza come elemento fondamentale nella descrizione di sistemi complessi.

2. Rassegna di modelli formali per descrivere sistemi concorrenti: algebre di processi, strutture di eventi, reti di Petri.

3. Semantica della concorrenza.

4. Confronti fra modelli: morfismi, categorie e funtori.

5. Sintesi di sistemi concorrenti.

 

Risultati di apprendimento previsti

Capacità di descrivere formalmente e confrontare sistemi concorrenti.

 

Prerequisiti:nessuno

Testi di riferimento: Dispense fornite dal docente

Tipo esame: Scritto e orale

*************************************************************************************

Course name: Models for concurrency

 

Aims and content: applying mathematical notions and techniques in modelling and designing concurrent systems.

Programme

1. The relation of concurrency as a basic component in describing complex systems.

2. Review of formal models for describing concurrent systems: process algebras, event structures, Petri nets.

3. Semantics of concurrency.

4. Comparing models: morphisms, functors, categories.

5. Synthesis of concurrent systems.

 

Expected results

Ability to describe and compare in a formal and precise way concurrent systems.

 

References: Handouts and notes.

Exam:   Written and oral examination

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011