Alma Mater Studiorum Università degli Studi di Bologna Facoltà di Ingegneria C.d.L. in Ingegneria Informatica Tesi di Laurea in Sistemi Operativi L-A Semantica delle interazioni basata su commitment in applicazioni ad agenti Candidato Relatore Elisa Rondini Prof. Ing. Anna Ciampolini Correlatore Ing. Paolo Torroni Anno Accademico 2002-2003 Sessione Autunnale