Attività di ricerca di Gorla, Daniele

Semantica della programmazione concorrente; calcoli di processo con distribuzione, mobilità e/o crittografia; metodi formali per la sicurezza; semantica categoriale della concorrenza.