Parma, Augusto and Segala, Roberto (rel.) (2003) [BM Tesi I 0293]. - Assiomatizzazione completa di semantiche a tracce per processi stocastici nondeterministici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.