| 2009 | ||
|---|---|---|
| 4 | Houguang Yue: An Eliminating Causal Ambiguity Approach to Reactive Systems. ACIS-ICIS 2009: 861-866 | |
| 2006 | ||
| 3 | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue: Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Inf. 42(6-7): 389-418 (2006) | |
| 2004 | ||
| 2 | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan: Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. ICFEM 2004: 449-463 | |
| 1 | Jinzhao Wu, Houguang Yue: Towards Action Refinement for Concurrent Systems with Causal Ambiguity. SEFM 2004: 300-309 | |
| 1 | Mila E. Majster-Cederbaum | [2] [3] |
| 2 | Jinzhao Wu | [1] [2] [3] |
| 3 | Naijun Zhan | [2] |