Labelled Transition Systems Generator

Authors

• Giulia Lucchi
• Chiara Volonnino

Abstract

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.

Outcomes

• repo
• relazione finale