Su di un livello |
Prebet, Enguerrand (2022) Typed behavioural equivalences in the Pi-Calculus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 36 Ciclo. DOI 10.48676/unibo/amsdottorato/10520.