Xiuli Sun Wenyin Zhang Jinzhao Wu Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement. 828-839 2004 19 J. Comput. Sci. Technol. 6 http://jcst.ict.ac.cn/conc/conc46.html#paper14 db/journals/jcst/jcst19.html#SunZJ04