Quantitative simulation games, Essays in Memory of Amir Pnueli, pp.42-60, 2010. ,
Simulation distances, LNCS, vol.6269, pp.253-268, 2010. ,
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
Linear and Branching System Metrics, IEEE Transactions on Software Engineering, vol.35, issue.2, pp.258-273, 2009. ,
DOI : 10.1109/TSE.2008.106
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
On the Unification of Process Semantics: Observational Semantics, SOFSEM 2009: TPCS, pp.279-290, 2009. ,
DOI : 10.1016/S0020-0190(01)00217-4
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
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
Safe Reasoning with Logic LTS, SOFSEM, pp.376-387, 2009. ,
DOI : 10.1007/3-540-45719-4_15
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
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
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
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
The linear time - branching time spectrum, Handbook of Process Algebra, pp.3-99, 2001. ,
DOI : 10.1007/BFb0039066