TY - Front. Comput. Sci. A1 - CHEN Yixiang, WU Hengyang T1 - Semantics of sub-probabilistic programs Y1 - 2008-03-05 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 29 EP - 38 VL - 2 IS - 1 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-008-0004-0 ER -