Login / Signup
Houguang Yue
Publication Activity (10 Years)
Years Active: 2004-2013
Publications (10 Years): 0
Top Topics
Relational Calculus
Asynchronous Communication
Top Venues
Int. J. Found. Comput. Sci.
</>
Publications
</>
Houguang Yue
From Computing to Interaction: on the Expressiveness of Asynchronous pi-Calculus.
Int. J. Found. Comput. Sci.
24 (3) (2013)
Houguang Yue
An Eliminating Causal Ambiguity Approach to Reactive Systems.
ACIS-ICIS
(2009)
Mila E. Majster-Cederbaum
,
Jinzhao Wu
,
Houguang Yue
Refinement of actions for real-time concurrent systems with causal ambiguity.
Acta Informatica
42 (6-7) (2006)
Jinzhao Wu
,
Houguang Yue
Towards Action Refinement for Concurrent Systems with Causal Ambiguity.
SEFM
(2004)
Mila E. Majster-Cederbaum
,
Jinzhao Wu
,
Houguang Yue
,
Naijun Zhan
Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.
ICFEM
(2004)