Su di un livello |
Guidi, Claudio (2007) Formalizing languages for service oriented computing, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/373.
Versari, Cristian (2009) A core calculus for the analysis and implementation of biologically inspired languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1442.