|
|||||
|
|
| 并行系统与并发程序设计语言的形式语义 | |
| 引用本文： | 屈延文,龚明,卢松,刘映,修鉴.并行系统与并发程序设计语言的形式语义[J].计算机科学,1986(6). |
| 作者姓名： | 屈延文 龚明 卢松 刘映 修鉴 |
| 作者单位： | 华北计算技术研究所，华北计算技术研究所，华北计算技术研究所，华北计算技术研究所，华北计算技术研究所 |
| 摘 要： | 语义学的研究目前活跃在二个领域中,一个是代数语义学,另一个是并发程序设计语言的各种形式语义的定义,本文主要介绍并发程序设计语言形式语义的基础,尤其是幂域理论、指称语义、操作语义、以及并发类型理论问题的讨论。 |
| 本文献已被 CNKI 等数据库收录！ | |