Copyright Notice: The preprints below are presented to ensure timely dissemination of research results.
Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying
this information are expected to adhere to the terms and constraints invoked by each author's copyright. In
all cases, the preprints below may not be reposted without explicit permission of the copyright holder.
"Theory and Application of Extended Markovian Process Algebra",
[abstract & toc]
Ph.D. Thesis (revised version), University of Bologna (Italy), February 1999
[distinguished Ph.D. thesis prize awarded
by the Italian Chapter of EATCS].
"Verso l'Integrazione di Modelli di Concorrenza Stocastici",
Laurea Thesis (in Italian), University of Bologna (Italy), March 1994.