2010-11
2010-11
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Complex System Design
| Informazioni generali | |||
| Corso di Laurea | Computer Science | Percorso | Master of Science Degree Course in Computer Science |
|---|---|---|---|
| CFU | 12 | Università | CAMERINO |
| Ore di didattica frontale per CFU | 10 | 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 con asterisco sono quelle che il GRIN ritiene essenziali
