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