CoMeta Related Projects
- Global Computing projects in the cluster Analysis of Systems and Security:
DART,
MIKADO,
MRG,
MYTHS,
PROFUNDIS,
SECURE.
-
Network Aware Programming:
Oggetti, Linguaggi, Implementazioni (NAPOLI), an Italian national
project involving researchers at the Universities of Bologna, Genova,
Firenze, Pisa and Torino.
-
Formal Methods for Security (MEFISTO), an Italian national project involving researchers at the Universities of Bologna, Pisa, Salerno, Venezia, Verona.
-
Theory of Concurrency, Higher Order Languages and Types
(TOSCA), a former Italian national project which involved researchers at the
Universities of
L'Aquila, Bologna, Catania, Como, Firenze, Genova, Pisa, Roma, Torino, Udine
Last modified: Tue Aug 27 10:12:56 CEST 2002