L. Aceto, W. Fokkink, and A. Ingólfsdóttir, 2-Nested Simulation Is Not Finitely Equationally Axiomatizable, Proc. STACS'01, pp.39-5010, 2001.

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

T. A. Luca-de-alfaro, &. Henzinger, and . Majumdar, Discounting the Future in Systems Theory, Proc. ICALP'03, pp.1022-1037, 2003.
DOI : 10.1007/3-540-45061-0_79

D. Charalambos, &. Aliprantis, C. Kim, and . Border, Infinite Dimensional Analysis: A Hitchhiker's Guide, 2007.

L. Hans and . Bodlaender, Complexity of Path-Forming Games, Theoretical Computer Science, vol.110, issue.193, pp.215-24510, 1993.

P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey, and &. Srba, Infinite Runs in Weighted Timed Automata with Energy Constraints, Proc. FORMATS'08, pp.33-47, 2008.
DOI : 10.1007/978-3-540-85778-5_4
URL : https://hal.archives-ouvertes.fr/hal-01194594

. Franck-van-breugel, A Behavioural Pseudometric for Metric Labelled Transition Systems, Proc. CONCUR'05, pp.141-15510, 2005.
DOI : 10.1007/11539452_14

K. Chatterjee, L. Doyen, &. Thomas, and A. Henzinger, Quantitative languages, ACM Trans. Comput. Log, vol.11, issue.4, 2010.
DOI : 10.1145/1805950.1805953
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.9296

J. Desharnais, V. Gupta, R. Jagadeesan, and &. Prakash-panangaden, Metrics for labelled Markov processes, Theoretical Computer Science, vol.318, issue.3, pp.323-354, 2004.
DOI : 10.1016/j.tcs.2003.09.013

J. Desharnais, F. Laviolette, and &. Mathieu-tracol, Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games, 2008 Fifth International Conference on Quantitative Evaluation of Systems, pp.264-27310, 2008.
DOI : 10.1109/QEST.2008.42

U. Fahrenberg, K. G. Larsen, and C. Thrane, A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic, Computing and Informatics, vol.29, pp.1311-1324, 2010.

T. S. Ferguson, Game Theory

A. Giacalone, C. Jou, &. Scott, and A. Smolka, Algebraic Reasoning for Probabilistic Concurrent Systems, Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, pp.443-458, 1990.

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

J. Friso-groote, &. Frits, and W. Vaandrager, Structured operational semantics and bisimulation as a congruence, Information and Computation, vol.100, issue.2, pp.202-26010, 1992.
DOI : 10.1016/0890-5401(92)90013-6

R. W. Hamming, Error Detecting and Error Correcting Codes, Bell System Technical Journal, vol.29, issue.2, pp.147-160, 1950.
DOI : 10.1002/j.1538-7305.1950.tb00463.x
URL : http://campus.unibo.it/10913/1/hamming1950.pdf

T. A. Henzinger, R. Majumdar, and &. Prabhu, Quantifying Similarities Between Timed Systems, Proc. FORMATS'05, pp.226-24110, 2005.
DOI : 10.1007/11603009_18

A. Thomas, &. Henzinger, and . Sifakis, The Embedded Systems Design Challenge, Proc. FM'06, pp.1-1510, 2006.

K. G. Larsen, U. Fahrenberg, and C. Thrane, Metrics for Weighted Transition Systems: Axiomatization and Complexity. Theoretical Computer Science doi:10, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01088055

A. Karla-alves-de-medeiros, M. P. Wil, &. A. Van-der-aalst, and . Weijters, Quantifying process equivalence based on observed behavior, Data & Knowledge Engineering, vol.64, issue.1, pp.55-74, 2008.
DOI : 10.1016/j.datak.2007.06.010

R. Milner, Communication and Concurrency, 1989.

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

B. Thomsen, An Extended Bisimulation Induced by a Preorder on Actions, 1987.

C. Thrane, U. Fahrenberg, &. Kim, and 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