Ambient演算的框架设计
张晶, 张丽翠, 金成植
A Framework Structure of Ambient Calculus
ZHANG Jing, ZHANG Licui, JIN Chengzhi
吉林大学学报(理学版) . 2006, (04): 583 -588 .