 | Up a level |
Borboni, Cristina and Solitro, Ugo (rel.) and Priami, Corrado (correl.) (1999) [BM Tesi I 0069]. - *-Calculus : verso un'interpretazione logica dei processi distribuiti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Riva, Nicola and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0084]. - Assiomatizzazione della bisimulazione markoviana per processi mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Barana, Michele and Scollo, Giuseppe (rel.) and Antoniol, Giuliano (correl.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0088]. - Uso di metodologie algebriche per l'ingegneria del software ed il paradigma ad oggetti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Polloni, Chiara and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0089]. - Un approccio formale alla sicurezza in ambienti distribuiti e mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lonardi, Matteo and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0118]. - MAWS, Mobile Agent Web Searching : un nuovo metodo di analisi dell'informazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Stefano and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0140]. - MAWS Mobile Agent Web Searching : una nuova struttura per la ricerca su Web. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
