| 具有真正并发语义的面向约束的实时进程代数 |
| |
| 引用本文： | 曾国荪,周定康.具有真正并发语义的面向约束的实时进程代数[J].江西师范大学学报(自然科学版),1999,23(2):143-147. |
| |
| 作者姓名： | 曾国荪 周定康 |
| |
| 作者单位： | 江西师范大学计算机系 |
| |
| 摘 要： | 对于标准进程代数，通过加入因果和时间约束，对前缀操作项进行扩展，使得处理后的演算，保持定义简单，表达力增强，能够描述实时系统，并且具有真正并发语义。
|
| 关 键 词： | 进程代数 实时系统 并发语义 实时进程代数 |
Constraint oriented Real Time Process Algebra with True Concurrency Semantics |
| |
| ZENG Guo sun,ZHOU Ding kang.Constraint oriented Real Time Process Algebra with True Concurrency Semantics[J].Journal of Jiangxi Normal University (Natural Sciences Edition),1999,23(2):143-147. |
| |
| Authors: | ZENG Guo sun ZHOU Ding kang |
| |
| Abstract: | As for standard process algebra,we make an extension to the prefix term by means of adding both constraints of causality and time into it.The resultant calculus,therefore,has a still simple definition and an increasing expressive power,as well as it can describe real time system with true concurrency semantics. |
| |
| Keywords: | process algebra real time system concurrency semantics bisimulations |
| 本文献已被 CNKI 维普 等数据库收录！ |
