{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:35:14Z","timestamp":1759638914150},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319665825"},{"type":"electronic","value":"9783319665832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66583-2_3","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T22:02:48Z","timestamp":1502488968000},"page":"33-49","source":"Crossref","is-referenced-by-count":3,"title":["Interactive Markovian Equivalence"],"prefix":"10.1007","author":[{"given":"Arpit","family":"Sharma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR2","volume-title":"Probability and Measure Theory","author":"RB Ash","year":"2000","unstructured":"Ash, R.B., Doleans-Dade, C.A.: Probability and Measure Theory. Academic Press, San Diego (2000)"},{"issue":"6","key":"3_CR3","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"3_CR4","doi-asserted-by":"crossref","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."},{"issue":"1","key":"3_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jlap.2007.02.002","volume":"72","author":"M Bernardo","year":"2007","unstructured":"Bernardo, M.: Non-bisimulation-based Markovian behavioral equivalences. J. Log. Algebr. Program. 72(1), 3\u201349 (2007)","journal-title":"J. Log. Algebr. Program."},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-87412-6_6","volume-title":"Computer Performance Engineering","author":"M Bernardo","year":"2008","unstructured":"Bernardo, M.: Towards state space reduction based on T-lumpability-consistent relations. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol. 5261, pp. 64\u201378. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-87412-6_6"},{"issue":"2","key":"3_CR7","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1109\/TSE.2008.102","volume":"35","author":"E B\u00f6de","year":"2009","unstructured":"B\u00f6de, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Rakow, J., Wimmer, R., Becker, B.: Compositional dependability evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2), 274\u2013292 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Architectural dependability evaluation with arcade. In: DSN, pp. 512\u2013521. IEEE Computer Society (2008)","DOI":"10.1109\/DSN.2008.4630122"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-75596-8_31","volume-title":"Automated Technology for Verification and Analysis","author":"H Boudali","year":"2007","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A compositional semantics for dynamic fault trees in terms of interactive Markov chains. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 441\u2013456. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75596-8_31"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive Markov chains. In: DSN, pp. 708\u2013717. IEEE Computer Society (2007)","DOI":"10.1109\/DSN.2007.37"},{"issue":"5","key":"3_CR11","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-02658-4_18","volume-title":"Computer Aided Verification","author":"N Coste","year":"2009","unstructured":"Coste, N., Hermanns, H., Lantreibecq, E., Serwe, W.: Towards performance prediction of compositional models in industrial GALS designs. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 204\u2013218. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_18"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: LICS, pp. 342\u2013351 (2010)","DOI":"10.1109\/LICS.2010.41"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-28891-3_4","volume-title":"NASA Formal Methods","author":"D Guck","year":"2012","unstructured":"Guck, D., Han, T., Katoen, J.-P., Neuh\u00e4u\u00dfer, M.R.: Quantitative timed analysis of interactive Markov chains. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 8\u201323. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28891-3_4"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","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. Lecture Notes in Computer Science, vol. 2428. Springer, Heidelberg (2002)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-17071-3_16","volume-title":"Formal Methods for Components and Objects","author":"H Hermanns","year":"2010","unstructured":"Hermanns, H., Katoen, J.-P.: The how and why of interactive Markov chains. In: Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 311\u2013337. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-17071-3_16"},{"key":"3_CR17","unstructured":"Hermanns, H., Katoen, J., Neuh\u00e4u\u00dfer, M.R., Zhang, L.: GSPN model checking despite confusion. Technical report, RWTH Aachen University (2010)"},{"key":"3_CR18","unstructured":"Johr, S.: Model checking compositional Markov systems, Ph.D. thesis, Saarland University (2008)"},{"issue":"4","key":"3_CR19","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real Time Syst."},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-15898-8_12","volume-title":"Formal Methods for Industrial Critical Systems","author":"R Mateescu","year":"2010","unstructured":"Mateescu, R., Serwe, W.: A study of shared-memory mutual exclusion protocols using CADP. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol. 6371, pp. 180\u2013197. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15898-8_12"},{"key":"3_CR21","unstructured":"Neuh\u00e4u\u00dfer, M.R.: Model checking non-deterministic and randomly timed systems, Ph.D. thesis, RWTH Aachen University (2010)"},{"key":"3_CR22","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). doi: 10.1007\/978-3-540-74407-8_28"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85778-5_1","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Ouaknine","year":"2008","unstructured":"Ouaknine, J., Worrell, J.: Some recent results in metric temporal logic. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 1\u201313. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85778-5_1"},{"key":"3_CR24","unstructured":"Sharma, A.: Reduction techniques for non-deterministic and probabilistic systems, Ph.D. thesis, RWTH Aachen university (2015)"},{"key":"3_CR25","unstructured":"Sharma, A.: A two step perspective for Kripke structure reduction. CoRR, abs\/1210.0408 (2012)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-642-29709-0_28","volume-title":"Perspectives of Systems Informatics","author":"A Sharma","year":"2012","unstructured":"Sharma, A., Katoen, J.-P.: Weighted lumpability on Markov chains. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol. 7162, pp. 322\u2013339. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29709-0_28"},{"issue":"2","key":"3_CR27","first-page":"259","volume":"153","author":"V Wolf","year":"2006","unstructured":"Wolf, V., Baier, C., Majster-Cederbaum, M.E.: Trace machines for observing continuous-time Markov chains. ENTCS 153(2), 259\u2013277 (2006)","journal-title":"ENTCS"},{"issue":"3","key":"3_CR28","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.entcs.2006.07.019","volume":"164","author":"V Wolf","year":"2006","unstructured":"Wolf, V., Baier, C., Majster-Cederbaum, M.E.: Trace semantics for stochastic systems with nondeterminism. Electr. Notes Theor. Comput. Sci. 164(3), 187\u2013204 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-12002-2_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Zhang","year":"2010","unstructured":"Zhang, L., Neuh\u00e4u\u00dfer, M.R.: Model checking interactive Markov chains. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 53\u201368. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12002-2_5"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66583-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T06:12:31Z","timestamp":1569996751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66583-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665825","9783319665832"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66583-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}