中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
顺序进程演算的若干扩展
作者: 柴鸣人
答辩日期: 2007-06-08
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: 树标号迁移系统 ; 树进程演算 ; 树自动机 ; 互模拟 ; 概率进程演算
其他题名: Several Extension of Sequential Process Calculus
摘要: 正如树自动机理论是字自动机理论的一个扩展,我们将R.Milner的序列进程演算扩展到树进程演算。为此,我们建立了一个正确和完备的推演系统用来描述树进程之间的互模拟关系。作为一个推论,我们得到一个新的树自动机之间的等价关系,它严格弱于Parosh Aziz Abdulla 等人所定义的自动机之间的互模拟相等关系,同时严格强于自动机经典意义下的相等关系,也就是语言相等。 在分析已有的五种概率自动机模型的基础上,提出一种新的概率自动机模型,以及由此导出的概率进程演算系统,定义了新的标号迁移系统、互模拟关系,并且提出稳定概率状态的概念来描述该互模拟关系。该项工作的重要性在于可以解决已有的互模拟理论无法解决的带有环形不可见动作序列的进程的互模拟判定问题。
英文摘要: We extend Robin Milner’s sequential process calculus to tree process calculus in a similar way that tree automata extends word automata. By this way, we establish a sound and complete inference system which describes the equivalence via bisimulation over tree processes. As a corollary, we obtain a new equivalence relation between tree automata, which is strictly coarser than the equivalence relation via bisimulation defined by Parosh Aziz Abdulla et al. and is strictly finer than the classical equivalence over tree automata, that is the equivalence via language equality of tree automata. We study a process calculus which depends on a new probabilistic automata model. We develop a new system of probabilistic process algebra, based on a new transition system, as well as a notion of bisimulation. We introduce a concept called stable probabilistic state in order to describe the bisimulation relation. This work can resolve the decision problem about observational equivalence between processes with invisible action cycle.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6622
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200428015029004柴鸣人_paper.pdf(439KB)----限制开放-- 联系获取全文

Recommended Citation:
柴鸣人. 顺序进程演算的若干扩展[D]. 软件研究所. 中国科学院软件研究所. 2007-06-08.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[柴鸣人]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[柴鸣人]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace