CCS + 时间 = 实时系统的交错模型 电子书下载

原名:CCS + Time = an Interleaving Model for Real Time Systems
作品简介:这项工作的目的是通过以下方式开发实时系统的交错模型：
延伸。米尔纳的 CCS，[M89] 具有时间概念。该模型是交错的……