The following publications are possibly variants of this publication:
- Action Refinement for Probabilistic Processes with True Concurrency ModelsHarald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu. papm 2002: 77-94 [doi]
- Action Refinement for Real-Time Concurrent Processes with UrgencyGuang-Ping Qin, Jin-Zhao Wu. jcst, 20(4):514-525, 2005. [doi]
- Action Refinement for Real-Time Concurrent Processes with UrgencyGuangping Qin, Jinzhao Wu. ENTCS, 139(1):123-144, 2005. [doi]
- Action Refinement for True Concurrent Real TimeMila E. Majster-Cederbaum, Jinzhao Wu. ICECCS 2001: 58-68 [doi]
- Towards action refinement for true concurrent real timeMila E. Majster-Cederbaum, Jinzhao Wu. ACTA, 39(8):531-577, 2003. [doi]