Xinyan Gao

	2008
2		Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu: Operational semantics of probabilistic Kleene algebra with tests. ISCC 2008: 706-713
1		Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen: Theory framework for event structure slicing. ISCC 2008: 714-721

Coauthor Index

1	Jianfeng Chen	[1]
2	Rui Qiao	[1] [2]
3	Yuan Wang	[2]
4	Jinzhao Wu	[1] [2]