节点文献

并行系统与并发程序设计语言的形式语义

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 屈延文； 龚明； 卢松； 刘映； 修鉴；

【机构】 华北计算技术研究所； 华北计算技术研究所；

【摘要】 语义学的研究目前活跃在二个领域中,一个是代数语义学,另一个是并发程序设计语言的各种形式语义的定义,本文主要介绍并发程序设计语言形式语义的基础,尤其是幂域理论、指称语义、操作语义、以及并发类型理论问题的讨论。

【关键词】 并发程序设计； 形式语义； 并行系统； 代数语义学； 多处理机系统； 执行速度； 布尔表达式； 并发系统； 状态集合； Dijkstra；
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1986年06期
  • 【下载频次】76
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)