{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:40:37Z","timestamp":1729618837500,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285626","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T17:54:03Z","timestamp":1518458043000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Computing behavioural distance for fuzzy transition systems"],"prefix":"10.1109","author":[{"given":"Tian-Ming","family":"Bu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hengyang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2426724"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007192"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.06.017"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2015.09.012"},{"key":"ref14","article-title":"Algorithmic and logical characterizations of bisimulations for nondeterministic fuzzy transition systems","author":"wu","year":"0","journal-title":"Fuzzy Sets and Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2017.2670605"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.05.037"},{"journal-title":"Polynomial-time algorithms for computing distances of fuzzy transition systems","year":"2017","author":"chen","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"ref19","first-page":"250","article-title":"Probabilistic simulations for probabilistic process","volume":"2","author":"segala","year":"1995","journal-title":"Nordic Journal of Computing"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2011.2117431"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1109\/TSMCB.2002.1018761","article-title":"Modeling and control of fuzzy discrete event systems","volume":"32","author":"lin","year":"2002","journal-title":"IEEE Transactions on Systems Man and Cybernetics- Part B CYBERNETICS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2012.2230177"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2012.02.008"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/j.fss.2012.05.006","article-title":"Computation of the greatest simulations and bisimulations between fuzzy automata","volume":"208","author":"?iri?","year":"2012","journal-title":"Fuzzy Sets and Systems"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.fss.2011.07.003","article-title":"Bisimu- lations for fuzzy automata","volume":"186","author":"?iri?","year":"2012","journal-title":"Fuzzy Sets and Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878968"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1969.300263"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2014.2310466"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.05.021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.035"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06880-0_10"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2017,9,13]]},"location":"Sophia Antipolis","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285626.pdf?arnumber=8285626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T17:22:00Z","timestamp":1570728120000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285626\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285626","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}