【作者】 屈延文； 龚明； 卢松； 刘映； 修鉴；
【机构】 华北计算技术研究所； 华北计算技术研究所；
【摘要】 语义学的研究目前活跃在二个领域中,一个是代数语义学,另一个是并发程序设计语言的各种形式语义的定义,本文主要介绍并发程序设计语言形式语义的基础,尤其是幂域理论、指称语义、操作语义、以及并发类型理论问题的讨论。更多还原
