@inproceedings{b8a71b44c0694b77ba13c6e2817bfa7c,
title = "Lattice-valued kripke structures based on complete residuated lattice",
abstract = "We introduce the lattice-valued Kripke structures, for the purpose of allowing imprecise or incomplete specifications to be expressed, by extending the traditional notion of Kripke structures in the context of complete residuated lattice. Moreover, we show how the traditional trace inclusion and equivalence, can be lifted to a setting of quantitative where their interpretations are given as elements of complete residuated lattices. We also present logical characterizations of our notions, given by a lattice-valued extension of LTL.",
keywords = "Kripke structure, Linear time temporal logic, Residuated lattice, Trace equivalence",
author = "Haiyu Pan and Min Zhang and Yixiang Chen",
year = "2012",
doi = "10.1109/SERE-C.2012.29",
language = "英语",
isbn = "9780769547435",
series = "Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012",
pages = "137--143",
booktitle = "Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012",
note = "2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012 ; Conference date: 20-06-2012 Through 22-06-2012",
}