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

Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue. Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Informatica, 42(6-7):389-418, 2006. [doi]

Authors

Mila E. Majster-Cederbaum

This author has not been identified. Look up 'Mila E. Majster-Cederbaum' in Google

Jinzhao Wu

This author has not been identified. Look up 'Jinzhao Wu' in Google

Houguang Yue

This author has not been identified. Look up 'Houguang Yue' in Google