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
   
Enrolled
Modelli per la concorrenza

Codice Insegnamento: F1801Q045

Docente: Luca Bernardinello

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

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 11/10/2011