@inproceedings{d33733c44afb4466a6c596eba92df787,
title = "Modal characterisations of probabilistic and fuzzy bisimulations",
abstract = "This paper aims to investigate bisimulation on fuzzy systems. For that purpose we revisit bisimulation in the model of reactive probabilistic processes with countable state spaces and obtain two findings: (1) bisimilarity coincides with simulation equivalence, which generalises a result on finite-state processes originally established by Baier; (2) the modal characterisation of bisimilarity by Desharnais et al. admits a much simpler completeness proof. Furthermore, inspired by the work of Hermanns et al. on probabilistic systems, we provide a sound and complete modal characterisation of fuzzy bisimilarity.",
author = "Yuxin Deng and Hengyang Wu",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.; 16th International Conference on Formal Engineering Methods, ICFEM 2014 ; Conference date: 03-11-2014 Through 05-11-2014",
year = "2014",
doi = "10.1007/978-3-319-11737-9\_9",
language = "英语",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "123--138",
editor = "Stephan Merz and Jun Pang",
booktitle = "Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings",
address = "德国",
}