(η,α)-互模拟的分层及判定算法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

(η,α)-互模拟的分层及判定算法

张晋津1，张严2，朱朝晖2

Stratification and checking algorithm
of (η,α)-bisimilarity

ZHANG Jinjin1，ZHANG Yan2,ZHU Zhaohui2

计算机工程与科学 . 2015, (03): 547 -552 .