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.