1. A theory of testing for Markovian processes;Bernardo,2000
2. Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi;Bernardo,2011
3. An algebra-based method to associate rewards with empa terms;Bernardo,1997
4. Marco Bernardo, Theory and application of extended markovian process algebra. Technical report, Ph.D. Thesis, University of Bologna, 1999.
5. Principles of Model Checking;Baier,2008