P. Cerný, T. A. Henzinger, and A. Radhakrishna, Quantitative simulation games, Essays in Memory of Amir Pnueli, pp.42-60, 2010.

P. Cerný, T. A. Henzinger, and A. Radhakrishna, Simulation distances, LNCS, vol.6269, pp.253-268, 2010.

X. Chen and Y. Deng, Game Characterizations of Process Equivalences, LNCS, vol.27, issue.1, pp.107-121, 2008.
DOI : 10.1007/3-540-56610-4_89

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.6556

L. De-alfaro, M. Faella, and M. Stoelinga, Linear and Branching System Metrics, IEEE Transactions on Software Engineering, vol.35, issue.2, pp.258-273, 2009.
DOI : 10.1109/TSE.2008.106

D. De-frutos-escrig, C. Gregorio-rodríguez, and M. Palomino, On the Unification of Process Semantics: Equational Semantics, Electronic Notes in Theoretical Computer Science, vol.249, pp.243-267, 2009.
DOI : 10.1016/j.entcs.2009.07.093

D. De-frutos-escrig, C. Gregorio-rodríguez, and M. Palomino, On the Unification of Process Semantics: Observational Semantics, SOFSEM 2009: TPCS, pp.279-290, 2009.
DOI : 10.1016/S0020-0190(01)00217-4

U. Fahrenberg, A. Legay, and C. R. Thrane, The quantitative linear-time???branching-time spectrum, FSTTCS, volume 13 of LIPIcs Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.103-114, 2011.
DOI : 10.1016/j.tcs.2013.07.030

URL : https://hal.archives-ouvertes.fr/hal-01087368

A. Kiehn and S. Arun-kumar, Amortised Bisimulations, LNCS, vol.7, issue.2, pp.320-334, 2005.
DOI : 10.1007/3-540-10235-3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.6835

G. Lüttgen and W. Vogler, Safe Reasoning with Logic LTS, SOFSEM, pp.376-387, 2009.
DOI : 10.1007/3-540-45719-4_15

M. Nielsen and C. Clausen, Bisimulation, games, and logic, Theoretical Computer Science, pp.289-306, 1994.
DOI : 10.1007/3-540-58131-6_54

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.4925

C. Stirling, Modal and temporal logics for processes, Banff Higher Order Workshop, pp.149-237, 1995.
DOI : 10.1007/3-540-60915-6_5

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.9078

C. Stirling, Bisimulation, modal logic and model checking games, Logic Journal of IGPL, vol.7, issue.1, pp.103-124, 1999.
DOI : 10.1093/jigpal/7.1.103

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.1594

C. R. Thrane, U. Fahrenberg, and K. G. Larsen, Quantitative analysis of weighted transition systems, The Journal of Logic and Algebraic Programming, vol.79, issue.7, pp.689-703, 2010.
DOI : 10.1016/j.jlap.2010.07.010

R. Van-glabbeek, The linear time - branching time spectrum, Handbook of Process Algebra, pp.3-99, 2001.
DOI : 10.1007/BFb0039066