Università degli studi dell'Insubria

PROCESS ALGEBRAS

A.A. di erogazione 2016/2017

Laurea Magistrale in MATEMATICA
 (A.A. 2015/2016)
Anno di corso: 
2
Tipologia di insegnamento: 
Affine/Integrativa
Settore disciplinare: 
INFORMATICA (INF/01)
Crediti: 
8
Ciclo: 
Primo Semestre
Ore di attivita' frontale: 
80
Dettaglio ore: 
Lezione (80 ore)

Obiettivi dell’insegnamento e risultati di apprendimento attesi

Il corso tratta le Algebre di Processi, un formalismo inizialmente pensato per la descrizione formale dei sistemi concorrenti, e che ha in seguito trovato impiego nella specifica dei sistemi distribuiti, dei sistemi mobili e, recentemente, dei sistemi biologici. Le Algebre di Processi forniscono i meccanismi per descrivere, ad alto livello, le interazioni, le comunicazioni e le sincronizzazioni tra processi/agenti. Durante il corso verranno mostrate possibili applicazioni del formalismo, dalla specifica di noti protocolli di comunicazione alla specifica di sistemi biologici multiscala. Al termine del corso lo studente sarà in grado di usare il formalismo nei contesti opportuni.

Prerequisiti: 

Nessuno, per studenti laureati triennali in informatica o matematica.

Contenuti e programma del corso

- Costrutti di base per descrivere le interazioni, le comunicazioni e le sincronizzazioni tra processi.
- Specifiche di protocolli di comunicazione.
- Specifiche di sistemi biologici multiscala.
- Semantica Operazionale Strutturata.
- Equivalenze comportamentali tra processi.
- Proprietà di congruenza delle equivalenze comportamentali.

Tipologia delle attività didattiche
Il corso prevede 64 ore di lezione.

Testi e materiale didattico
Il materiale didattico consiste nelle slide delle lezioni disponibili sul sito e-learning

 Modalità di verifica dell’apprendimento
E’ prevista una prova orale. Di norma lo studente espone un approfondimento di un argomento non trattato a lezione. In alternativa è possibile sostenere una prova orale classica in cui lo studente è tenuto a rispondere a quesiti posti dal docente.

clicca sulla scheda dell'attività mutataria per vedere ulteriori informazioni, quali il docente e testi descrittivi.

corso di studio in: MATEMATICA

Cerchi il programma? Potrebbe non essere ancora stato caricato o riferirsi ad insegnamenti che verranno erogati in futuro.
Seleziona l‘anno in cui ti sei immatricolato e troverai le informazioni relative all'insegnamento del tuo piano di studio.

A.A. 2019/2020

Anno di corso: 2
Curriculum: PERCORSO COMUNE

A.A. 2018/2019

Anno di corso: 1
Curriculum: PERCORSO COMUNE

A.A. 2017/2018

Anno di corso: 2
Curriculum: PERCORSO COMUNE

A.A. 2016/2017

Anno di corso: 1
Curriculum: PERCORSO COMUNE