Pan, Haiyu; Li, Yongming; Cao, Yongzhi Lattice-valued simulations for quantitative transition systems. (English) Zbl 1388.68201 Int. J. Approx. Reasoning 56, Part A, 28-42 (2015). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{H. Pan} et al., Int. J. Approx. Reasoning 56, Part A, 28--42 (2015; Zbl 1388.68201) Full Text: DOI
Pan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang Simulation for lattice-valued doubly labeled transition systems. (English) Zbl 1316.68063 Int. J. Approx. Reasoning 55, No. 3, 797-811 (2014). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{H. Pan} et al., Int. J. Approx. Reasoning 55, No. 3, 797--811 (2014; Zbl 1316.68063) Full Text: DOI