顺序进程演算的若干扩展
文献类型：学位论文
| 作者 | 柴鸣人 |
| 学位类别 | 博士 |
| 答辩日期 | 2007-06-08 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 软件研究所 |
| 关键词 | 树标号迁移系统 树进程演算 树自动机 互模拟 概率进程演算 |
| 其他题名 | Several Extension of Sequential Process Calculus |
| 中文摘要 | 正如树自动机理论是字自动机理论的一个扩展，我们将R.Milner的序列进程演算扩展到树进程演算。为此，我们建立了一个正确和完备的推演系统用来描述树进程之间的互模拟关系。作为一个推论，我们得到一个新的树自动机之间的等价关系，它严格弱于Parosh Aziz Abdulla 等人所定义的自动机之间的互模拟相等关系，同时严格强于自动机经典意义下的相等关系，也就是语言相等。 在分析已有的五种概率自动机模型的基础上，提出一种新的概率自动机模型，以及由此导出的概率进程演算系统，定义了新的标号迁移系统、互模拟关系，并且提出稳定概率状态的概念来描述该互模拟关系。该项工作的重要性在于可以解决已有的互模拟理论无法解决的带有环形不可见动作序列的进程的互模拟判定问题。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 65 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6622]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 柴鸣人. 顺序进程演算的若干扩展[D]. 软件研究所. 中国科学院软件研究所. 2007. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。