上海交通大学学报
基于可计算函数的C模型互模拟性质
姜梦稚1, 2, 赵风景2
Bisimulation Research on C Model Embedded with Computable Function
JIANG Meng-Zhi-1, 2 , ZHAO Feng-Jing-2
上海交通大学学报（自然版） . 2012, (04): 620 -623 .