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.

2:   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 Distinguished Ph.D. Thesis Prize awarded in 1999 by the Italian Chapter of EATCS - European Association for Theoretical Computer Science.

1:   M. Bernardo,

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

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