2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Complex System Design
| Informazioni generali | |||
| Corso di Laurea | Computer Science | Percorso | Computer Science |
|---|---|---|---|
| CFU | 12 | Università | CAMERINO |
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
-
*
LF - Linguaggi Formali
Introduction to Formal Methods. -
*
LF - Linguaggi Formali
Introduction to Process Algebras. -
*
LF - Linguaggi Formali
Milner's Calculus of Communicating Systems (CCS) : syntax. -
*
LF - Linguaggi Formali
Milner's Calculus of Communicating Systems (CCS) : operational semantics. -
*
LF - Linguaggi Formali
Observational equivalences: strong bisimulation. -
*
LF - Linguaggi Formali
Observational equivalences: weak bisimulation. -
*
LF - Linguaggi Formali
Observation congruence and its decidability. -
*
LF - Linguaggi Formali
Temporal variants of CCS. -
*
LF - Linguaggi Formali
Locality-based variants of CCS. -
*
LF - Linguaggi Formali
Process Algebra for Faster Asynchronous Systems (PAFAS). -
TAV - Tecniche di Analisi e Verifica
Application in the context of areas such as operating systems, communication protocols, semantics of concurrent and object-oriented programming languages. -
TAV - Tecniche di Analisi e Verifica
Application in the context of areas such as operating systems, communication protocols, semantics of concurrent and object-oriented programming languages.
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
