Calcolo parallelo, semantica della concorrenza, omotopia diretta (applicazioni alla semantica della concorrenza)
Progetto Si studia la semantica della concorrenza (con Anna Labella).
Dopo aver fornito una trattazione delle semantiche del tipo CCS (calculus of communicating systems) di R.Milner e descritto la sincronizzazone come categorie arricchite in una categoria monoidale bichiusa, abbiamo affrontato la cosiddetta "true concurrency" (reti di Petri, tracce di Mazurkiewicz, pomsets di Pratt).
Questo approccio ci ha permesso di inquadrare nel contesto "categorie arricchite in una bicategoria" il teorema di Conduché, come il discrimine tra la "strong" (bisimulatiion) e la "branching" da un lato e la "weak" dall'altro in termini di preservazione degli stati e "determinacy".
Sono in corso lavori (con P.Bottoni) sul calcolo parallelo mediante immagini, che copre contesti multimediali interessanti