C. Baier and H. Hermanns, Weak bisimulation for fully probabilistic processes, Proc. CAV 1997, pp.119-130, 1997.
DOI : 10.1007/3-540-63166-6_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.5616

H. P. Gumm, Elements of the general theory of coalgebras, LUATCS, vol.99, 1999.

J. Hughes and B. Jacobs, Simulations in coalgebra, TCS, pp.71-108, 2004.
DOI : 10.1016/j.tcs.2004.07.022

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

J. Rothe, A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras, Proc. CMCS02. ENTCS, pp.270-285, 2002.
DOI : 10.1016/S1571-0661(04)80368-2
URL : http://doi.org/10.1016/s1571-0661(04)80368-2

J. Rothe and D. Masulovi´cmasulovi´c, Towards Weak Bisimulation For Coalgebras, Proc. Categorical Methods for Concurrency, Interaction and Mobility, pp.32-46, 2002.
DOI : 10.1016/S1571-0661(04)80499-7
URL : http://doi.org/10.1016/s1571-0661(04)80499-7

R. Segala and N. Lynch, Probabilistic simulations for probabilistic processes, Proc. CONCUR94, pp.481-496, 1994.
DOI : 10.1007/978-3-540-48654-1_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6430

R. Segala, Modeling and verification of randomized distributed real-time systems, p.MIT, 1995.

A. Sokolova, E. De-vink, and H. Woracek, Coalgebraic Weak Bisimulation for Action- Type Systems, In Sci. Ann. Comp. Sci, vol.19, pp.93-144, 2009.
DOI : 10.1016/j.entcs.2004.06.050
URL : http://doi.org/10.1016/j.entcs.2004.06.050

J. J. Rutten, A note on Coinduction and Weak Bisimilarity for While Programs, Theoretical Informatics and Applications (RAIRO), pp.393-400, 1999.
DOI : 10.1051/ita:1999125
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7427

J. J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.
DOI : 10.1016/S0304-3975(00)00056-6