Houguang Yue

According to our database, Houguang Yue authored at least 5 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

From Computing to Interaction: on the Expressiveness of Asynchronous pi-Calculus.

Houguang Yue

Int. J. Found. Comput. Sci., 2013

2009

An Eliminating Causal Ambiguity Approach to Reactive Systems.

Houguang Yue

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2006

Refinement of actions for real-time concurrent systems with causal ambiguity.

Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue

Acta Informatica, 2006

2004

Towards Action Refinement for Concurrent Systems with Causal Ambiguity.

Jinzhao Wu, Houguang Yue

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.

Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan

Proceedings of the Formal Methods and Software Engineering, 2004