Probabilistic Modal Kleene Algebra and Hoare-Style Logic. - Rui Qiao 003; Jinzhao Wu; Xinyan Gao (ICNC (3), 2008)

Theory framework for event structure slicing. - Xinyan Gao; Jinzhao Wu; Rui Qiao 003; Jianfeng Chen (ISCC, 2008)

Operational semantics of probabilistic Kleene algebra with tests. - Rui Qiao 003; Yuan Wang; Xinyan Gao; Jinzhao Wu (ISCC, 2008)