计算机科学 ›› 1995, Vol. 22 ›› Issue (3): 13-16.

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

并发模型分析

刘海燕 陈火旺   

  1. 不详 不详
  • 出版日期:2018-11-17 发布日期:2018-11-17

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

摘要: 并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确定性的方式等。

关键词: 并发模型 形式语义 计算机语言 Petri网

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!