1. M. Bernardo, Theory and application of extended Markovian process algebra, Ph.D. Thesis, University of Bologna, Italy, 1999 (http://www.di.unito.it/ ̃bernardo/).
2. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time;Bernardo;Theoret. Comput. Sci.,1998
3. M. Bravetti, M. Bernardo, Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. Tech. Rep. UBLCS-2000-01, University of Bologna, Italy, 2000 (ftp.cs.unibo.it/pub/techreports).
4. M. Bravetti, M. Bernardo, R. Gorrieri, A note on the congruence proof for recursion in Markovian bisimulation equivalence, Proc. 6th Int. Workshop on Process Algebra and Performance Modelling (PAPM 98), Nice, France, 1998, pp. 153–164.
5. Reactive, generative and stratified models of probabilistic processes;van Glabbeek;Inform. and Comput.,1995