中国科学院数学与系统科学研究院期刊网
Quantales and Process Semantics of Bisimulation
Yong Ming LI(1),Zhi Hui LI(2)
Acta Mathematica Sinica, Chinese Series . 1999, (2):  .  DOI: 10.12386/A1999sxxb0040