Professor Dipartimento di Informatica Università di Pisa
Coordinator of the Research Group on Operational Methods in Concurrency
Last update: 3.1.2002