Università degli studi dell'Insubria

PROCESS ALGEBRAS

A.A. di erogazione 2018/2019
Insegnamento opzionale

Laurea Magistrale in INFORMATICA
 (A.A. 2017/2018)
Anno di corso: 
2
Tipologia di insegnamento: 
Caratterizzante
Settore disciplinare: 
INFORMATICA (INF/01)
Crediti: 
6
Ciclo: 
Primo Semestre
Ore di attivita' frontale: 
48
Dettaglio ore: 
Lezione (48 ore)

Dopo aver seguito il corso di Process Algebras, lo studente conoscerà le principali strutture sintattiche della algebre di processi e la loro semantica. Conoscerà il concetto di equivalenza tra processi e la sua composizionalità. Lo studente sarà in grado di scrivere specifiche con le Process Algebra e di controllare l’equivalenza tra specifica ed implementazione. Lo studente sarà anche in grado di comprendere profondamente articoli scientifici sull’argomento.

Per seguire il corso di Algebre di Processi è sufficiente avere una Laurea Triennale in Informatica o Matematica.

- Esempio introduttivo: espressioni regolari (6h)
- Semantica operazionale (6h)
- Semantica denotazionale (6h)
- Modelli concorrenti (6h)
- Operatori delle Process Algebras (6h)
- Equivalenze (6h)
- CCS (6h)
- Logiche modali (6h)
- Modelli quantitativi(8h)
- Distanze tra processi probabilistici (8h)

Verranno effettuate 64 ore di lezione frontale.
Le lezioni vengono tenute dal docente e svolte con l’ausilio di slide che vengono messe a disposizioni degli studenti sul sito e-learning.

Un esame finale è necessario.
Si tratta di un prova orale. Lo studente dovrà presentare un approfondimento su un argomento scelto che si basa su articoli scientifici.

Il materiale ufficiale consiste delle slide, che saranno disponibili sul sito e-learning.

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: GENERICO

A.A. 2018/2019

Anno di corso: 1
Curriculum: GENERICO

A.A. 2016/2017

Anno di corso: 1
Curriculum: GENERICO

A.A. 2015/2016

Anno di corso: 2
Curriculum: GENERICO