Up a level |
Guglielmi, Laura and Giacobazzi, Roberto (rel.) and Merro, Massimo (correl.) and Mastroeni, Isabella (correl.) (2004) [BM Tesi I 0236]. - Non interferenza astratta per programmi concorrenti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.