Autori

Sommario

L'elaborato tratta uno degli argomenti visti a lezione nell'anno accademico 2018/2019: le Process Algebrae. L'algebra dei processi è un formalismo che consente di modellare sistemi concorrenti e distribuiti che eventualmente interagiscono tra loro. L'algebra dei processi offre la possibilità di: 

  • rappresentare la struttura e il comportamento di un sistema concorrente;
  • fare "verification" del funzionamento del sistema.

In questo progetto, andremo a considerare solo il primo caso.

Materiali

Corso

— a.a.

2017/2018

— crediti

6

— livello

laurea magistrale

— lingua di insegnamento

wit.gif

Docenti

— professore/ssa

Andrea Omicini

— altri/e docenti

Stefano Mariani

— tutor

Giovanni Ciatto

Contesto

— università

Alma Mater Studiorum-Università di Bologna

— campus

Cesena

— dipartimento / facoltà / scuola

DISI

— laurea magistrale

8614 Ingegneria e scienze informatiche 

URL & ID

pagina AMS
corso su IOL
orario lezioni

— ID corso

58260

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY