计算机科学 ›› 2002, Vol. 29 ›› Issue (10): 14-17.

• 计算机网络与信息安全 • 上一篇    下一篇

并发计算范型:CCS和π-演算

杜旭涛 李舟军   

  1. 国防科技大学计算机学院长沙410073 武汉大学软件工程国家重点实验室武汉430072
  • 出版日期:2018-11-17 发布日期:2018-11-17

  • Online:2018-11-17 Published:2018-11-17

关键词: 程序设计 并发计算范型 CCS π-演算

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!