具有动作细化的实时并发进程的基于事件的操作语义以及一致性结果  

作　　者：Xiu-LiSun Wen-YinZhang Jin-ZhaoWu 

机构地区：[1]ChengduInstituteofComputerApplications,ChineseAcademyofSciences,Chengdu610041,P.R.China [2]FakultaetfürMathematikundInformatik,UniversitaetMannheim,D7,27,68131Mannheim,Germany

出　　处：《Journal of Computer Science & Technology》2004年第C00期28-28,共1页计算机科学技术学报（英文版）

摘　　要：对于包含动作精化的实时进程代数，人们已经为它定义了指称真并发语义。在这种语义里，动作精化被看作是一个操作符。人们自然会有这样的疑问：既然已经定义了指称真并发语义，为什么还要定义操作语义?这个问题可以从以下两个方面回答：首先，对于不带时间变量和动作精化操作的进程，为它赋予一个“标准”语义的含义就是指为它定义一个操作语义。定义操作语义常用的方法是定义一个具有标记的传递系统，它是由一些推理规则组成的集合。

关 键 词：操作语义 实时 并发进程 操作符 进程代数 事件 细化 刻画 时间变量 推理规则 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论] TP311[自动化与计算机技术—计算机科学与技术]