Dipartimento di Informatica
Università di Pisa
Italy Research topics: Algebraic and coalgebraic specifications, categorical models of rewriting, graph transformation systems, process calculi, soft constraints
(updated at 2008-06-27)
http://www.di.unipi.it/~gadducci