@inproceedings{1370c9db5e0b42f0a6a6f32d8fb4e93f,
title = "Bisimulation for lattice-valued transition systems",
abstract = "In this paper, we define lattice-valued labeled transition systems (LLTS) as a general framework for allowing imprecise or incomplete specifications to be expressed. We introduce a lattice-valued bisimulation between LLTSs that measures the degree of closeness of two systems as elements of residuated lattice, in contrast to the traditional boolean yes/no to bisimulation. Also, we show that our bisimulation is compositional for a synchronous composition operator. Moreover, we also consider lattice-valued extension of Kripke structures, define a lattice valued bisimulation between lattice-valued Kripke structures (LKSs), and establish the correspondence between lattice-valued bisimulation in LLTS and lattice-valued bisimulation in LKS.",
keywords = "Kripke structure, bisimulation, labeled transition system, residuated lattice",
author = "Haiyu Pan and Min Zhang and Yixiang Chen",
year = "2012",
doi = "10.1109/TASE.2012.48",
language = "英语",
isbn = "9780769547510",
series = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",
pages = "279--282",
booktitle = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",
note = "IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 ; Conference date: 04-07-2012 Through 06-07-2012",
}