{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:10Z","timestamp":1760202670878,"version":"3.40.4"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_9","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"123-138","source":"Crossref","is-referenced-by-count":2,"title":["Modal Characterisations of Probabilistic and Fuzzy Bisimulations"],"prefix":"10.1007","author":[{"given":"Yuxin","family":"Deng","sequence":"first","affiliation":[]},{"given":"Hengyang","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1\/2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.jlap.2006.02.001","volume":"69","author":"P.A. Abdulla","year":"2006","unstructured":"Abdulla, P.A., Legay, A., d\u2019Orso, J., Rezine, A.: Tree regular model checking: A simulation-based approach. J. Logic. Algebr. Progr.\u00a069(1\/2), 93\u2013121 (2006)","journal-title":"J. Logic. Algebr. Progr."},{"key":"9_CR2","unstructured":"Baier, C.: On Algorithmic Verification Methods for Probabilistic Systems. Habilitationsschrift zur Erlangung der venia legendi der Fakult\u00e4t f\u00fcr Mathematik and Informatik, Universit\u00e4t Mannheim (1998)"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.fss.2009.08.005","volume":"161","author":"G. Bailador","year":"2010","unstructured":"Bailador, G., Trivi\u00f1o, G.: Pattern recognition using temporal fuzzy automata. Fuzzy Sets Syst.\u00a0161(1), 37\u201355 (2010)","journal-title":"Fuzzy Sets Syst."},{"issue":"1-4","key":"9_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0020-0255(02)00192-5","volume":"142","author":"R. B\u011blohl\u00e1vek","year":"2002","unstructured":"B\u011blohl\u00e1vek, R.: Determinism and fuzzy automata. Inform. Sci.\u00a0142(1-4), 205\u2013209 (2002)","journal-title":"Inform. Sci."},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S0165-0114(96)00400-9","volume":"99","author":"M. Bhattacharyya","year":"1998","unstructured":"Bhattacharyya, M.: Fuzzy Markovian decision process. Fuzzy Sets Syst.\u00a099(3), 273\u2013282 (1998)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR6","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1995","unstructured":"Billingsley, P.: Probability and Measure. Wiley-Interscience, New York (1995)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/TFUZZ.2011.2117431","volume":"19","author":"Y. Cao","year":"2010","unstructured":"Cao, Y., Chen, G., Kerre, E.E.: Bisimulations for fuzzy transition systems. IEEE Trans. Fuzzy Syst.\u00a019(3), 540\u2013552 (2010)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.ins.2011.12.024","volume":"191","author":"Y. Cao","year":"2012","unstructured":"Cao, Y., Ezawa, Y.: Nondeterministic fuzzy automata. Inform. Sci.\u00a0191(1), 86\u201397 (2012)","journal-title":"Inform. Sci."},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.fss.2011.07.003","volume":"186","author":"M. \u0106iri\u0107","year":"2012","unstructured":"\u0106iri\u0107, M., Ignjatovi\u0107, J., Damljanovi\u0107, N., Ba\u0161i\u0107, M.: Bisimulations for fuzzy automata. Fuzzy Sets Syst.\u00a0186(1), 100\u2013139 (2012)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR10","unstructured":"Deng, Y., Du, W.: Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation., Technical Report CMU-CS-11-145, Carnegie Mellon University (2011)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-04081-8_19","volume-title":"CONCUR 2009 - Concurrency Theory","author":"Y. Deng","year":"2009","unstructured":"Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C.C.: Testing finitary probabilistic processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 274\u2013288. Springer, Heidelberg (2009)"},{"key":"9_CR12","unstructured":"Desharnais, J.: Labelled Markov Processes. Ph.D. thesis, McGill University (1999)"},{"issue":"2","key":"9_CR13","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. Inf. Comput.\u00a0179(2), 163\u2013193 (2002)","journal-title":"Inf. Comput."},{"issue":"1","key":"9_CR14","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 labelled Markov processes. Inf. Comput.\u00a0184(1), 160\u2013200 (2003)","journal-title":"Inf. Comput."},{"key":"9_CR15","unstructured":"D\u2019Errico, L., Loreti, M.: A process algebra approach to fuzzy reasoning. In: Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, pp. 1136\u20131141 (2009)"},{"key":"9_CR16","volume-title":"Stochastic Coalgebraic Logic","author":"E.-E. Doberkat","year":"2010","unstructured":"Doberkat, E.-E.: Stochastic Coalgebraic Logic. Springer, Heidelberg (2010)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1016091902809","volume":"21","author":"K. Fisler","year":"2002","unstructured":"Fisler, K., Vardi, M.Y.: Bisimulation minimization and symbolic model checking. Form. Method. Syst. Des.\u00a021(1), 39\u201378 (2002)","journal-title":"Form. Method. Syst. Des."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B., Tofts, C.M.N.: Reactive, generative, and stratified models of probabilistic processes. In: Proc. 5th Annu. IEEE Symp. Logic in Computer Science, pp. 130\u2013141 (1990)","DOI":"10.1109\/LICS.1990.113740"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM.\u00a032(1), 137\u2013161 (1985)","journal-title":"J. ACM."},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.ic.2010.11.024","volume":"209","author":"H. Hermanns","year":"2011","unstructured":"Hermanns, H., Parma, A., et al.: Probabilistic logical characterization. Inf. Comput.\u00a0209(2), 154\u2013172 (2011)","journal-title":"Inf. Comput."},{"issue":"1","key":"9_CR21","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.knosys.2012.02.008","volume":"38","author":"J. Ignjatovi\u0107","year":"2013","unstructured":"Ignjatovi\u0107, J., \u0106iri\u0107, M., Simovi\u0107, V.: Fuzzy relation equations and subsystems of fuzzy transition systems. Knowl-Based Syst.\u00a038(1), 48\u201361 (2013)","journal-title":"Knowl-Based Syst."},{"issue":"2","key":"9_CR22","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0129054110007192","volume":"21","author":"O. Kupferman","year":"2010","unstructured":"Kupferman, O., Lustig, Y.: Latticed simulation relations and games. Int. J. Found. Comput. S.\u00a021(2), 167\u2013189 (2010)","journal-title":"Int. J. Found. Comput. S."},{"issue":"1","key":"9_CR23","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 probabilistic testing. Inf. Comput.\u00a094(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.fss.2005.04.004","volume":"156","author":"Y.M. Li","year":"2005","unstructured":"Li, Y.M., Pedrycz, W.: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets Syst.\u00a0156(1), 68\u201392 (2005)","journal-title":"Fuzzy Sets Syst."},{"issue":"4","key":"9_CR25","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1109\/TSMCB.2002.1018761","volume":"32","author":"F. Lin","year":"2002","unstructured":"Lin, F., Ying, H.: Modeling and control of fuzzy discrete event systems. IEEE Trans. Syst., Man, Cybern., B, Cybern.\u00a032(4), 408\u2013415 (2002)","journal-title":"IEEE Trans. Syst., Man, Cybern., B, Cybern."},{"key":"9_CR26","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035643","volume-title":"Fuzzy Automata and Languages:Theory and Applications","author":"J.N. Mordeson","year":"2002","unstructured":"Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages:Theory and Applications. Chapman & Hall\/CRC, Boca Raton (2002)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-71389-0_21","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Parma","year":"2007","unstructured":"Parma, A., Segala, R.: Logical characterizations of bisimulations for discrete probabilistic systems. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 287\u2013301. Springer, Heidelberg (2007)"},{"issue":"1","key":"9_CR30","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1142\/S1469026801000068","volume":"1","author":"W. Pedrycz","year":"2001","unstructured":"Pedrycz, W., Gacek, A.: Learning of fuzzy automata. Int. J. Comput. Intell. Appl.\u00a01(1), 19\u201333 (2001)","journal-title":"Int. J. Comput. Intell. Appl."},{"issue":"4","key":"9_CR31","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/91.324809","volume":"2","author":"W. Pedrycz","year":"1994","unstructured":"Pedrycz, W., Gomide, F.: A generalized fuzzy Petri net model. IEEE Trans. Fuzzy Syst.\u00a02(4), 295\u2013301 (1994)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"1","key":"9_CR32","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/TSMCB.2004.840457","volume":"35","author":"D.W. Qiu","year":"2005","unstructured":"Qiu, D.W.: Supervisory control of fuzzy discrete event systems: a formal approach. IEEE Trans. Syst., Man, Cybern., B, Cybern.\u00a035(1), 72\u201388 (2005)","journal-title":"IEEE Trans. Syst., Man, Cybern., B, Cybern."},{"issue":"6","key":"9_CR33","doi-asserted-by":"publisher","first-page":"1220","DOI":"10.1109\/TSMCA.2006.878968","volume":"36","author":"V.R.L. Shen","year":"2006","unstructured":"Shen, V.R.L.: Knowledge representation using high-level fuzzy Petri nets. IEEE Trans. Syst., Man, Cybern. A, Syst., Humans\u00a036(6), 1220\u20131227 (2006)","journal-title":"IEEE Trans. Syst., Man, Cybern. A, Syst., Humans"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-27940-9_26","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Sack","year":"2012","unstructured":"Sack, J., Zhang, L.: A General Framework for Probabilistic Characterizing Formulae. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 396\u2013411. Springer, Heidelberg (2012)"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D., Rutten, J. (eds.): Advanced Topics in Bisimulation and Coinduction. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511792588"},{"issue":"2","key":"9_CR36","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic process. Nord. J. Comput.\u00a02(2), 250\u2013273 (1995)","journal-title":"Nord. J. Comput."},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Wee, W.G., Fu, K.S.: A formulation of fuzzy automata and its application as a model of learning systems. IEEE Trans. Syst. Sci. Cybern.\u00a0SSC-5(3), 215\u2013223 (1969)","DOI":"10.1109\/TSSC.1969.300263"},{"key":"9_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L.A. Zadeh","year":"1978","unstructured":"Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst.\u00a01, 3\u201328 (1978)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Zhang, L.: Decision Algorithms for Probabilistic Simulations. Ph.D. thesis, Saarland University (2008)","DOI":"10.2168\/LMCS-4(4:6)2008"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11737-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:24:56Z","timestamp":1746419096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}