ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-09042018-182106


Tipo di tesi
Tesi di laurea magistrale
Autore
STRANIERI, SILVIA
URN
etd-09042018-182106
Titolo
SOS Rules for Reversing Calculus of Broadcasting Systems
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Bruni, Roberto
Parole chiave
  • semantics
  • reversibility
  • broadcasting
  • SOS rules
Data inizio appello
05/10/2018
Consultabilità
Completa
Riassunto
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.
File