EVENTO

SEMINARIO

TCCS^m: un modello formale per i sistemi con transazioni

Andrea Tonguzzo

Corso di Teoria della Concorrenza

Abstract
Nei database, nell'implementazione dei sistemi di rete, e in molte altre situazioni, raggruppare in una unica operazione atomica varie azioni diventa di primaria importanza, ma altrettanto importante è avere a disposizione una procedura di error recovery in grado di portare in uno stato consistente il sistema dopo che un errore è avvenuto. In questa presentazione vedremo un modello formale per descrivere sistemi comunicanti nei quali sono presenti delle transazioni e una teoria per l’equivalenza fra i vari processi.