Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Per gli Studenti
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

Approfondimenti

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 11/10/2011