{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:20:37Z","timestamp":1776316837590,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540784975","type":"print"},{"value":"9783540784999","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78499-9_5","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T19:02:25Z","timestamp":1207076545000},"page":"50-65","source":"Crossref","is-referenced-by-count":5,"title":["Simulation Hemi-metrics between Infinite-State Stochastic Games"],"prefix":"10.1007","author":[{"given":"Jean","family":"Goubault-Larrecq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, OUP, vol.\u00a03, pp. 1\u2013168 (1994)"},{"key":"5_CR2","unstructured":"Baddeley, A.J.: Hausdorff metric for capacities. Technical Report BS-R9127, CWI, Dept. of Operations Research, Statistics, and System Theory (1991)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00042-X","volume":"193","author":"M.M. Bonsangue","year":"1998","unstructured":"Bonsangue, M.M., van Breugel, F., Rutten, J.: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Th. Comp. Sci.\u00a0193, 1\u201351 (1998)","journal-title":"Th. Comp. Sci."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Majumdar, R., Raman, V., Stoelinga, M.: Game relations and metrics. In: 22nd IEEE Symp. Logic in Comp. Sci (LICS 2007), pp. 99\u2013108 (2007)","DOI":"10.1109\/LICS.2007.22"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1006\/inco.2001.2962","volume":"179","author":"J. Desharnais","year":"2002","unstructured":"Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. Information and Computation\u00a0179(2), 163\u2013193 (2002)","journal-title":"Information and Computation"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: The metric analogue of weak bisimulation for probabilistic processes. In: 17th IEEE Symp. Logic in Comp. Sci. (LICS 2002), pp. 413\u2013422 (2002)","DOI":"10.1109\/LICS.2002.1029849"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labelled Markov processes. Theoretical Computer Science\u00a0318, 323\u2013354 (2004)","journal-title":"Theoretical Computer Science"},{"key":"5_CR8","unstructured":"Ferns, N., Panangaden, P., Precup, D.: Metrics for Markov decision processes with infinite state spaces. In: 21st Annual Conf. on Uncertainty in Artificial Intelligence, Arlington, VA, pp. 201\u2013208. AUAI Press (2005)"},{"key":"5_CR9","unstructured":"Frenk, J., Kassay, G.: Minimax results and finite dimensional separation. E.I. Report 9845\/A, Econometric Institute, Erasmus University Rotterdam (October 1998)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous lattices and domains. In: Encycl. Mathematics and its Applications, vol.\u00a093, CUP (2003)","DOI":"10.1017\/CBO9780511542725"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"764","DOI":"10.1007\/978-3-540-73420-8_66","volume-title":"Automata, Languages and Programming","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J.: Continuous capacities on continuous state spaces. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 764\u2013776. Springer, Heidelberg (2007)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/978-3-540-74915-8_40","volume-title":"Computer Science Logic","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J.: Continuous previsions. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol.\u00a04646, pp. 542\u2013557. Springer, Heidelberg (2007)"},{"key":"5_CR13","unstructured":"Goubault-Larrecq, J.: Simulation hemi-metrics between infinite-state stochastic games. Research Report LSV-07-34, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France, 47\u00a0pages (October 2007)"},{"key":"5_CR14","unstructured":"Goubault-Larrecq, J.: Une introduction aux capacit\u00e9s, aux jeux et aux pr\u00e9visions (June 2007), \n                  \n                    http:\/\/www.lsv.ens-cachan.fr\/~goubault\/ProNobis\/pp_1_8.pdf"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/978-3-540-78499-9_23","volume-title":"FoSSACS 2008","author":"J. Goubault-Larrecq","year":"2008","unstructured":"Goubault-Larrecq, J.: Prevision domains and convex powercones. In: FoSSACS 2008. LNCS, vol.\u00a04962, pp. 318\u2013333. Springer, Heidelberg (2008)"},{"key":"5_CR16","unstructured":"Jones, C.: Probabilistic Non-Determinism. PhD thesis, University of Edinburgh, Technical Report ECS-LFCS-90-105 (1990)"},{"key":"5_CR17","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Domain-theoretic Methods in Probabilistic Processes","author":"A. Jung","year":"2004","unstructured":"Jung, A.: Stably compact spaces and the probabilistic powerspace construction. In: Desharnais, J., Panangaden, P. (eds.) Domain-theoretic Methods in Probabilistic Processes. Electronic Notes in Theoretical Computer Science, vol.\u00a087, Elsevier, Amsterdam (2004)"},{"key":"5_CR18","first-page":"199","volume":"37","author":"L.V. Kantorovich","year":"1942","unstructured":"Kantorovich, L.V.: On the translocation of masses. Comptes Rendus (Doklady) de l\u2019Acad. Sci. URSS\u00a037, 199\u2013201 (1942); Reprinted in Management Science, vol.\u00a05, pp. 1\u20134 (1958)","journal-title":"Comptes Rendus (Doklady) de l\u2019Acad. Sci. URSS"},{"issue":"1\u20133","key":"5_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.topol.2004.02.019","volume":"149","author":"K. Keimel","year":"2005","unstructured":"Keimel, K., Lawson, J.: Measure extension theorems for T\n                0-spaces. Topology and its Applications\u00a0149(1\u20133), 57\u201383 (2005)","journal-title":"Topology and its Applications"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0166-8641(95)00116-X","volume":"66","author":"R. Kopperman","year":"1995","unstructured":"Kopperman, R.: Asymmetry and duality in topology. Topology and its Applications\u00a066, 1\u201339 (1995)","journal-title":"Topology and its Applications"},{"issue":"1-2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0304-3975(00)00335-2","volume":"278","author":"H.P. K\u00fcnzi","year":"2002","unstructured":"K\u00fcnzi, H.P., Schellekens, M.P.: On the Yoneda completion of a quasi-metric space. Theoretical Computer Science\u00a0278(1-2), 159\u2013194 (2002)","journal-title":"Theoretical Computer Science"},{"key":"5_CR22","first-page":"1","volume":"1","author":"F.W. Lawvere","year":"2002","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Reprints in Theory and Applications of Categories\u00a0(1), 1\u201327 (originally published in 1973, 2002)","journal-title":"Reprints in Theory and Applications of Categories"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0166-8641(97)00222-8","volume":"89","author":"M. Mislove","year":"1998","unstructured":"Mislove, M.: Topology, domain theory and theoretical computer science. Topology and Its Applications\u00a089, 3\u201359 (1998)","journal-title":"Topology and Its Applications"},{"issue":"3","key":"5_CR24","first-page":"7","volume":"91","author":"M. Mislove","year":"2003","unstructured":"Mislove, M., Ouaknine, J., Worrell, J.: Axioms for probability and nondeterminism. El. Notes Th. Comp. Sci.\u00a091(3), 7\u201328 (2003); 10th Intl. Workshop on Expressiveness in Concurrency (EXPRESS 2003) (2003)","journal-title":"El. Notes Th. Comp. Sci."},{"key":"5_CR25","volume-title":"Topology and Order","author":"L. Nachbin","year":"1965","unstructured":"Nachbin, L.: Topology and Order. Van Nostrand Reinhold, New York (1965)"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1017\/S1446788700001609","volume":"68","author":"W. Roth","year":"2000","unstructured":"Roth, W.: Hahn-Banach type theorems for locally convex cones. J. Australian Math. Soc.\u00a068(1), 104\u2013125 (2000)","journal-title":"J. Australian Math. Soc."},{"key":"5_CR27","first-page":"1","volume-title":"Handbook of Discrete Optimization","author":"A. Schrijver","year":"2005","unstructured":"Schrijver, A.: On the history of combinatorial optimization (till 1960). In: Aardal, K., Nemhauser, G.L., Weismantel, R. (eds.) Handbook of Discrete Optimization, pp. 1\u201368. Elsevier, Amsterdam (2005)"},{"key":"5_CR28","volume-title":"Modeling and Verification of Randomized Distributed Real-Time Systems","author":"R. Segala","year":"1996","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. MIT Press, Cambridge (1996)"},{"key":"5_CR29","unstructured":"Tix, R.: Stetige Bewertungen auf topologischen R\u00e4umen. Diplom, T.H. Darmstadt (June 1995)"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.entcs.2004.06.063","volume":"129","author":"R. Tix","year":"2005","unstructured":"Tix, R., Keimel, K., Plotkin, G.: Semantic domains for combining probability and non-determinism. Electronic Notes in Theor. Comp. Sci.\u00a0129, 1\u2013104 (2005)","journal-title":"Electronic Notes in Theor. Comp. Sci."},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/3-540-48224-5_35","volume-title":"12th Conf. Concurrency Theory (CONCUR 2001)","author":"F. Breugel van","year":"2001","unstructured":"van Breugel, F., Worrell, J.: An algorithm for quantitative verification of probabilistic transition systems. In: CONCUR 2001. LNCS, vol.\u00a02976, pp. 421\u2013432. Springer, Heidelberg (2001)"},{"key":"5_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P. Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78499-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:36Z","timestamp":1619507496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78499-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540784975","9783540784999"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78499-9_5","relation":{},"subject":[]}}