Rui Qiao

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu
Operational semantics of probabilistic Kleene algebra with tests. ISCC (2008)
Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen
Theory framework for event structure slicing. ISCC (2008)
Rui Qiao, Jinzhao Wu, Xinyan Gao
Probabilistic Modal Kleene Algebra and Hoare-Style Logic. ICNC (3) (2008)