Towards a Theory of Bisimulation for the Higher-Order Process Calculi Towards a Theory of Bisimulation for the Higher-Order Process Calculi

Towards a Theory of Bisimulation for the Higher-Order Process Calculi

  • 期刊名字:计算机科学技术学报
  • 文件大小:757kb
  • 论文作者:Yong-Jian Li,Xin-Xin Liu
  • 作者单位:Laboratory of Computer Science
  • 更新时间:2020-11-22
  • 下载次数:
论文简介

论文截图
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
Baidu
map