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]
- Refinement of actions in a real-time process algebra with a true concurrency modelHarald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu. ENTCS, 70(3):260-280, 2002. [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]
- Action Refinement for Real-Time Concurrent Processes with UrgencyGuang-Ping Qin, Jin-Zhao Wu. jcst, 20(4):514-525, 2005. [doi]
- Towards Action Refinement for Concurrent Systems with Causal AmbiguityJinzhao Wu, Houguang Yue. SEFM 2004: 300-309 [doi]
- Action Refinement for Real-Time Concurrent Processes with UrgencyGuangping Qin, Jinzhao Wu. ENTCS, 139(1):123-144, 2005. [doi]
- Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action RefinementXiuli Sun, Wenyin Zhang, Jinzhao Wu. jcst, 19(6):828-839, 2004. [doi]