Welcome to Journal of University of Chinese Academy of Sciences，Today is
RSS 中文
Operational Semantics Modelling SemanticAction Refinement for Processes with Interrupt
YUAN Hong, WU Jin-Zhao
中国科学院大学学报 . 2004, (4): 501 -511 .  DOI: 10.7523/j.issn.2095-6134.2004.4.012

Copyright © Journal of University of Chinese Academy of Sciences

Support by Beijing Magtech Co.ltd support@magtech.com.cn