1
移动界程演算理论及应用研究综述
Overview on theory and applications of ambients calculus
2020年第3期 : 648-654
doi:10.19734/j.issn.1001-3695.2018.10.0722