{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:46Z","timestamp":1740099106595,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319991535"},{"type":"electronic","value":"9783319991542"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99154-2_21","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:14:35Z","timestamp":1534256075000},"page":"339-355","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Hemimetric Extension of Simulation for Semi-Markov Decision Processes"],"prefix":"10.1007","author":[{"given":"Mathias Ruggaard","family":"Pedersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Bacci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mardare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G.: Additive and multiplicative notions of leakage, and their capacities. In: CSF, pp. 308\u2013322 (2014)","DOI":"10.1109\/CSF.2014.29"},{"issue":"1","key":"21_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1006\/jcss.1999.1683","volume":"60","author":"C Baier","year":"2000","unstructured":"Baier, C., Engelen, B., Majster-Cederbaum, M.E.: Deciding bisimilarity and similarity for probabilistic processes. J. Comput. Syst. Sci. 60(1), 187\u2013231 (2000)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.ic.2005.03.001","volume":"200","author":"C Baier","year":"2005","unstructured":"Baier, C., Katoen, J.-P., Hermanns, H., Wolf, V.: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2), 149\u2013214 (2005)","journal-title":"Inf. Comput."},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-39077-7_5","volume-title":"Privacy Enhancing Technologies","author":"K Chatzikokolakis","year":"2013","unstructured":"Chatzikokolakis, K., Andr\u00e9s, M.E., Bordenabe, N.E., Palamidessi, C.: Broadening the scope of differential privacy using metrics. In: De Cristofaro, E., Wright, M. (eds.) PETS 2013. LNCS, vol. 7981, pp. 82\u2013102. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-39077-7_5"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-642-28729-9_29","volume-title":"Foundations of Software Science and Computational Structures","author":"D Chen","year":"2012","unstructured":"Chen, D., van Breugel, F., Worrell, J.: On the complexity of computing probabilistic bisimilarity. In: Birkedal, L. (ed.) FoSSaCS 2012. LNCS, vol. 7213, pp. 437\u2013451. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-28729-9_29"},{"key":"21_CR6","unstructured":"Desharnais, J.: Logical characterization of simulation for labelled Markov chains. In: PROBMIV, pp. 33\u201348. University of Birmingham, Technical report, CS-99-8, August 1999"},{"issue":"3","key":"21_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. Theor. Comput. Sci. 318(3), 323\u2013354 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"21_CR8","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1137\/10080484X","volume":"40","author":"N Ferns","year":"2011","unstructured":"Ferns, N., Panangaden, P., Precup, D.: Bisimulation metrics for continuous Markov decision processes. SIAM J. Comput. 40(6), 1662\u20131714 (2011)","journal-title":"SIAM J. Comput."},{"key":"21_CR9","unstructured":"Giacalone, A., Jou, C.-C., Smolka, S.A.: Algebraic reasoning for probabilistic concurrent systems. In: Proceedings of the IFIP TC2 Working Conference on Programming Concepts and Methods, North-Holland, pp. 443\u2013458 (1990)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N G\u00f6tz","year":"1993","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: the integration of functional specification and performance analysis using Stochastic Process Algebras. In: Donatiello, L., Nelson, R. (eds.) Performance\/SIGMETRICS - 1993. LNCS, vol. 729, pp. 121\u2013146. Springer, Heidelberg (1993). \nhttps:\/\/doi.org\/10.1007\/BFb0013851"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains: The Quest for Quantified Quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains: The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45804-2"},{"issue":"9\u201310","key":"21_CR12","first-page":"901","volume":"30","author":"H Hermanns","year":"1998","unstructured":"Hermanns, H., Herzog, U., Mertsiotakis, V.: Stochastic process algebras - between LOTOS and Markov chains. Comput. Netw. 30(9\u201310), 901\u2013924 (1998)","journal-title":"Comput. Netw."},{"key":"21_CR13","series-title":"Distinguished Dissertations in Computer Science","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"2005","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Distinguished Dissertations in Computer Science. Cambridge University Press, New York (2005)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BFb0039071","volume-title":"CONCUR 1990 Theories of Concurrency: Unification and Extension","author":"C-C Jou","year":"1990","unstructured":"Jou, C.-C., Smolka, S.A.: Equivalences, congruences, and complete axiomatizations for probabilistic processes. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 367\u2013383. Springer, Heidelberg (1990). \nhttps:\/\/doi.org\/10.1007\/BFb0039071"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1007\/978-3-642-40313-2_58","volume-title":"Mathematical Foundations of Computer Science 2013","author":"D Kozen","year":"2013","unstructured":"Kozen, D., Mardare, R., Panangaden, P.: Strong completeness for Markovian logics. In: Chatterjee, K., Sgall, J. (eds.) MFCS 2013. LNCS, vol. 8087, pp. 655\u2013666. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40313-2_58"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/978-3-642-32589-2_59","volume-title":"Mathematical Foundations of Computer Science 2012","author":"KG Larsen","year":"2012","unstructured":"Larsen, K.G., Mardare, R., Panangaden, P.: Taking it to the limit: approximate reasoning for Markov processes. In: Rovan, B., Sassone, V., Widmayer, P. (eds.) MFCS 2012. LNCS, vol. 7464, pp. 681\u2013692. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-32589-2_59"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-540-74407-8_28","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"MR Neuh\u00e4u\u00dfer","year":"2007","unstructured":"Neuh\u00e4u\u00dfer, M.R., Katoen, J.-P.: Bisimulation and logical preservation for continuous-time Markov decision processes. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 412\u2013427. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-74407-8_28"},{"key":"21_CR18","unstructured":"Pedersen, M.R., Bacci, G., Larsen, K.G., Mardare, R.: A hemimetric extension of simulation for semi-Markov decision processes. Technical report, Aalborg University, Department of Computer Science (2018). \nhttp:\/\/people.cs.aau.dk\/mrp\/pubs\/simuldist.pdf"},{"issue":"4","key":"21_CR19","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1109\/24.693787","volume":"46","author":"M Perman","year":"1997","unstructured":"Perman, M., Senegacnik, A., Tuma, M.: Semi-Markov models with an application to power-plant reliability analysis. IEEE Trans. Reliab. 46(4), 526\u2013532 (1997)","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"21_CR20","doi-asserted-by":"publisher","first-page":"1326","DOI":"10.1109\/TPWRS.2004.826756","volume":"19","author":"A Pievatolo","year":"2004","unstructured":"Pievatolo, A., Tironi, E., Valade, I.: Semi-Markov processes for power system reliability assessment with application to uninterruptible power supply. IEEE Trans. Power Syst. 19(3), 1326\u20131333 (2004)","journal-title":"IEEE Trans. Power Syst."},{"issue":"2","key":"21_CR21","first-page":"250","volume":"2","author":"R Segala","year":"1995","unstructured":"Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. Nord. J. Comput. 2(2), 250\u2013273 (1995)","journal-title":"Nord. J. Comput."},{"key":"21_CR22","series-title":"Springer Series in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34675-5","volume-title":"Stochastic Orders","author":"M Shaked","year":"2007","unstructured":"Shaked, M., Shanthikumar, G.: Stochastic Orders. Springer Series in Statistics. Springer, New York (2007). \nhttps:\/\/doi.org\/10.1007\/978-0-387-34675-5"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24611-4_1","volume-title":"Validation of Stochastic Systems: A Guide to Current Research","author":"A Sokolova","year":"2004","unstructured":"Sokolova, A., de Vink, E.P.: Probabilistic automata: system types, parallel composition and comparison. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems: A Guide to Current Research. LNCS, vol. 2925, pp. 1\u201343. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-24611-4_1"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-54013-4_6","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"L Song","year":"2014","unstructured":"Song, L., Zhang, L., Godskesen, J.C.: Bisimulations and logical characterizations on continuous-time Markov decision processes. In: McMillan, K.L., Rival, X. (eds.) VMCAI 2014. LNCS, vol. 8318, pp. 98\u2013117. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54013-4_6"},{"key":"21_CR25","unstructured":"Zhang, L.: Decision algorithms for probabilistic simulations. Ph.D. thesis, Saarland University, Saarbr\u00fccken, Germany (2009)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99154-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:28:44Z","timestamp":1534256924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99154-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319991535","9783319991542"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99154-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}