Spezzano, FrancescaPalopoli, LuigiGreco, Sergio2017-02-242017-02-242011-11-23http://hdl.handle.net/10955/1096http://dx.doi.org/10.13126/UNICAL.IT/DOTTORATI/1096Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011enAlgoritmiSistemi operativiOn the problem of checking chase terminationThesis