Scorri la lista: Supervisore e Co-supervisore

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Vai a: 22 | 26 | 29 | 36
Numero di documenti: 4.

22

Perez - Parra, Jorge Andres (2010) Higher-Order Concurrency: Expressiveness and Decidability Results , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2285.

26

Dardha, Ornela (2014) Type Systems for Distributed Programs: Components and Sessions, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6441.

29

Vignudelli, Valeria (2017) Behavioral Equivalences for Higher-Order Languages with Probabilities, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/7968.

36

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.

Questa lista e' stata generata il Fri Dec 13 20:41:06 2024 CET.
^