1. M. Bernardo. Theory and Application of Extended Markovian Process Algebra. PhD thesis, University of Bologna, 1999.
2. F. Bartels, A. Sokolova, and E.P. de Vink. Probabilistic automata based models. In VOSS GI-Dagstuhl seminar. LNCS, 2003. to appear.
3. Bisimulation for Labelled Markov Processes;Desharnais;Information and Computation,2002
4. P. D'Argenio, H. Hermanns, and J.-P. Katoen. On generative parallel composition. In Proc. Probmiv'98, volume 22 of ENTCS. Elsevier, 1998.
5. H. Peter Gumm and Tobias Schröder. Coalgebraic structure from weak pullback preserving functors. In Horst Reichel, editor, Proc. CMCS 2000, volume 33 of ENTCS. Elsevier, 2000.