{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:11Z","timestamp":1725538151935},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642037405"},{"type":"electronic","value":"9783642037412"}],"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-03741-2_11","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:20:01Z","timestamp":1252938001000},"page":"145-156","source":"Crossref","is-referenced-by-count":1,"title":["Approximating Labelled Markov Processes Again!"],"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","series-title":"Texts in Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0374-9","volume-title":"Mathematical Control Theory","author":"E. Sontag","year":"1990","unstructured":"Sontag, E.: Mathematical Control Theory. Texts in Applied Mathematics, vol.\u00a06. Springer, Heidelberg (1990)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. In: Proceedings of the Twelfth IEEE Symposium On Logic In Computer Science, Warsaw, Poland (1997)","DOI":"10.1109\/LICS.1997.614943"},{"issue":"2","key":"11_CR3","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"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-540-48654-1_35","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R. Segala","year":"1994","unstructured":"Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 481\u2013496. Springer, Heidelberg (1994)"},{"key":"11_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, Chichester (1994)"},{"key":"11_CR6","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"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"de Vink, E., Rutten, J.J.M.M.: Bisimulation for probabilistic transition systems: A coalgebraic approach. In: Proceedings of the 24th International Colloquium On Automata Languages And Programming (1997)","DOI":"10.1007\/3-540-63165-8_202"},{"issue":"2","key":"11_CR8","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_CR9","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_CR10","volume-title":"An Introduction to Probability Theory and its Applications II","author":"W. Feller","year":"1971","unstructured":"Feller, W.: An Introduction to Probability Theory and its Applications II, 2nd edn. John Wiley and Sons, Chichester (1971)","edition":"2"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: The metric analogue of weak bisimulation for labelled Markov processes. In: Proceedings of the Seventeenth Annual IEEE Symposium On Logic In Computer Science, pp. 413\u2013422 (2002)","DOI":"10.1109\/LICS.2002.1029849"},{"key":"11_CR12","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Van Nostrand (1960)"},{"issue":"1","key":"11_CR13","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"},{"issue":"3","key":"11_CR14","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.: A metric for labelled Markov processes. Theoretical Computer Science\u00a0318(3), 323\u2013354 (2004)","journal-title":"Theoretical Computer Science"},{"key":"11_CR15","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."},{"issue":"4","key":"11_CR16","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)","journal-title":"Information and Computation"},{"key":"11_CR17","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"},{"key":"11_CR18","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1995","unstructured":"Billingsley, P.: Probability and Measure. Wiley Interscience, Hoboken (1995)"},{"issue":"3","key":"11_CR19","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","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03741-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T18:55:33Z","timestamp":1552157733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03741-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037405","9783642037412"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03741-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}