中国科学院数学与系统科学研究院期刊网
Quantale与互模拟的进程语义
李永明;李志慧
Quantales and Process Semantics of Bisimulation
Yong Ming LI(1),Zhi Hui LI(2)
数学学报 . 1999, (2):  .  DOI: 10.12386/A1999sxxb0040