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]

Abstract

Abstract is missing.