ETD

• broadcasting
• reversibility
• semantics
• SOS rules

La tesi si colloca in un campo di ricerca molto vasto e diffuso, riguardante la reversibilità dei processi. Ci sono diversi lavori che affrontano questo argomento, ma ben pochi studiano la relazione tra reversibilità e broadcasting. In questo lavoro di tesi si presenta una versione reversibile dei processi in CBS-style (Calculus of Broadcasting Systems). La sintassi standard di tali processi viene arricchita in modo da preservare informazioni necessarie per renderli reversibili e garantire l'esecuzione di azioni all'indietro, oltre alle regolari azioni in avanti.
Diverse proprietà e teoremi vengono inoltre dimostrati.