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

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

Browse the full ICFEM paper archive.