DISSERTATIONS

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.

4:  A. Esposito (supervised by M. Bernardo),

"A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis",

Ph.D. Thesis, University of Urbino (Italy), May 2025.

3:  E. Bontà (supervised by M. Bernardo),

"Automatic Code Generation: From Process Algebraic Architectural Descriptions to Multithreaded Java Programs",

Ph.D. Thesis, University of Bologna (Italy), March 2008.

2:  M. Bernardo,

"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].

1:  M. Bernardo,

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

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