Calcolo parallelo, semantica della concorrenza,omotopie dirette (per la semantica della concorrenza).
Progetto
Si studia la semantica della concorrenza (con Anna Labella).
Dopo aver fornito una trattazione generale delle semantiche del tipo CCS (Calculus of Communicating Systems) di R.Milner e della loro sincronizzazione come categorie arricchite in una categoria monoidale non simmetrica , abbiamo iniziato un tentativo di unificazione della cosiddetta "true concurrency" (Reti di Petri, tracce di Mazurkievicz, pomset di Pratt) e delle Algebre di processi, come il CCS, lo SCCS, l'ACP di Bergstra-Klop, mediante una ulteriore analisi degli alberi, anche continui, visti come presentazioni di fasci e, più in generale, come categorie arricchite in una 2-categoria di 'osservatori elementari'. Questo approccio consente la descrizione del raffinamento e dell'astrazione come cambi di base tra le rispettive categorie di osservatori.
Inoltre si studiano le omotopie dirette per la semantica della concorrenza di processi.