Theses

Copyright Notice: The material below is 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 material below may not be reposted without explicit permission of the copyright holder.

02: M. Bernardo,

"Theory and Application of Extended Markovian Process Algebra" [abstract & toc]

Ph.D. Thesis (revised version), University of Bologna (Italy), February 1999.

Winner of the 1999 Distinguished Ph.D. Thesis Prize awarded by the Italian Chapter of EATCS
(European Association for Theoretical Computer Science).

01: M. Bernardo,

"Verso l'Integrazione di Modelli di Concorrenza Stocastici",

Laurea Thesis (in Italian), University of Bologna (Italy), March 1994.