2009 |
5 | EE | Guang Zheng,
Lian Li,
Wenbo Chen,
Anping He,
Jinzhao Wu:
Process Algebra with Chaos Executing Policy for Unhealthy Systems.
JCP 4(1): 86-93 (2009) |
4 | EE | Wenbo Chen,
Guang Zheng,
Lian Li,
Jinzhao Wu:
Real Time Process Algebra with Urgency Executing Policy.
JSW 4(1): 34-41 (2009) |
2008 |
3 | EE | Guang Zheng,
Jinzhao Wu,
Lian Li:
Stochastic Process Algebra with Value-Passing.
CSSE (3) 2008: 374-377 |
2 | | Guang Zheng,
Chao-Ning Chan,
O. E. Shunichiro:
Teacher Tracking System using Particle Filter.
IPCV 2008: 429-434 |
2007 |
1 | EE | Guang Zheng,
Shaorong Li,
Jinzhao Wu,
Lian Li:
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.
FAW 2007: 178-190 |