Simulation for lattice-valued doubly labeled transition systems

Haiyu Pan, Yongzhi Cao, Min Zhang 0007, Yixiang Chen. Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reasoning, 55(3):797-811, 2014. [doi]

Abstract

Abstract is missing.