Projects




  • Esprit WG-21836 -- CONFER-2,

  • Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi , Unità di Bologna .

  • The design and the analysis of Concurrent Object Oriented Languages. (A Microsoft Research Grant)

  • Network aware programming and interoperability. (A Microsoft Research Grant)

  • Network Aware Programming: Oggetti, Linguaggi, Implementazioni , Unità di Bologna .