Two-thirds simulation indexes and modal logic characterization

Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen. Two-thirds simulation indexes and modal logic characterization. Frontiers of Computer Science in China, 5(4):454-471, 2011. [doi]

Abstract

Abstract is missing.