{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:27:06Z","timestamp":1743035226465,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029295"},{"type":"electronic","value":"9783642029301"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02930-1_11","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:05:04Z","timestamp":1246532704000},"page":"127-138","source":"Crossref","is-referenced-by-count":6,"title":["Approximating Markov Processes by Averaging"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Chaput","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Danos","sequence":"additional","affiliation":[]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[]},{"given":"Gordon","family":"Plotkin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probablistic testing. Information and Computation\u00a094, 1\u201328 (1991)","journal-title":"Information and Computation"},{"issue":"2","key":"11_CR2","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 labeled Markov processes. Information and Computation\u00a0179(2), 163\u2013193 (2002)","journal-title":"Information and Computation"},{"issue":"1\/2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0304-3975(99)00035-3","volume":"221","author":"E. Vink de","year":"1999","unstructured":"de Vink, E., Rutten, J.J.M.M.: Bisimulation for probabilistic transition systems: A coalgebraic approach. Theoretical Computer Science\u00a0221(1\/2), 271\u2013293 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/S0890-5401(03)00051-8","volume":"184","author":"J. Desharnais","year":"2003","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Approximating labeled Markov processes. Information and Computation\u00a0184(1), 160\u2013200 (2003)","journal-title":"Information and Computation"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-45187-7_31","volume-title":"CONCUR 2003 - Concurrency Theory","author":"V. Danos","year":"2003","unstructured":"Danos, V., Desharnais, J., Panangaden, P.: Conditional expectation and the approximation of labelled Markov processes. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 477\u2013491. Springer, Heidelberg (2003)"},{"key":"11_CR6","unstructured":"Ferns, N., Panangaden, P., Precup, D.: Metrics for Markov decision processes with infinite state spaces. In: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, pp. 201\u2013208 (2005)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bouchard-C\u00f4t\u00e9, A., Ferns, N., Panangaden, P., Precup, D.: An approximation algorithm for labelled Markov processes: towards realistic approximation. In: Proceedings of the 2nd International Conference on the Quantitative Evaluation of Systems (QEST), pp. 54\u201361 (2005)","DOI":"10.1109\/QEST.2005.4"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-31982-5_8","volume-title":"Foundations of Software Science and Computational Structures","author":"S. Cattani","year":"2005","unstructured":"Cattani, S., Segala, R., Kwiatkowska, M., Norman, G.: Stochastic transition systems for continuous state spaces and non-determinism. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 125\u2013139. Springer, Heidelberg (2005)"},{"issue":"4","key":"11_CR9","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.ic.2005.02.004","volume":"204","author":"V. Danos","year":"2006","unstructured":"Danos, V., Desharnais, J., Laviolette, F., Panangaden, P.: Bisimulation and cocongruence for probabilistic systems. Information and Computation\u00a0204(4), 503\u2013523 (2006); Seventh Workshop on Coalgebraic Methods in Computer Science 2004","journal-title":"Information and Computation"},{"key":"11_CR10","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)"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D. Kozen","year":"1985","unstructured":"Kozen, D.: A probabilistic PDL. Journal of Computer and Systems Sciences\u00a030(2), 162\u2013178 (1985)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"11_CR12","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1995","unstructured":"Billingsley, P.: Probability and Measure. Wiley Interscience, Hoboken (1995)"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science\u00a014(4), 527\u2013586 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR14","first-page":"13","volume":"3","author":"E. Hopf","year":"1954","unstructured":"Hopf, E.: The general temporally discrete Markoff process. J. Rational Math. Mech. Anal.\u00a03, 13\u201345 (1954)","journal-title":"J. Rational Math. Mech. Anal."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.07.019","volume":"327","author":"F. Bartels","year":"2004","unstructured":"Bartels, F., Sokolova, A., de Vink, E.: A hierarchy of probabilistic system types. Theoretical Computer Science\u00a0327, 3\u201322 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"11_CR16","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1112\/plms\/s3-8.3.321","volume":"8","author":"J. Choksi","year":"1958","unstructured":"Choksi, J.: Inverse limits on measure spaces. Proc. London Math. Soc\u00a08(3), 321\u2013342 (1958)","journal-title":"Proc. London Math. Soc"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02930-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:49:40Z","timestamp":1558403380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02930-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029295","9783642029301"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02930-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}