|
|||||
|
|
| 具有动作细化的实时并发进程的基于事件的操作语义以及一致性结果 | |
| 作者姓名： | Xiu-LiSun Wen-YinZhang Jin-ZhaoWu |
| 作者单位： | [1]ChengduInstituteofComputerApplications,ChineseAcademyofSciences,Chengdu610041,P.R.China [2]FakultaetfürMathematikundInformatik,UniversitaetMannheim,D7,27,68131Mannheim,Germany |
| 摘 要： | 对于包含动作精化的实时进程代数，人们已经为它定义了指称真并发语义。在这种语义里，动作精化被看作是一个操作符。人们自然会有这样的疑问：既然已经定义了指称真并发语义，为什么还要定义操作语义?这个问题可以从以下两个方面回答：首先，对于不带时间变量和动作精化操作的进程，为它赋予一个“标准”语义的含义就是指为它定义一个操作语义。定义操作语义常用的方法是定义一个具有标记的传递系统，它是由一些推理规则组成的集合，这些推理规则刻画了实际程序或系统 |
| 关 键 词： | 操作语义 实时 并发进程 操作符 进程代数 事件 细化 刻画 时间变量 推理规则 |
| 本文献已被 维普 等数据库收录！ | |
