一种标记转移系统的构造与执行方法

• 作者: 张冠华 张连华 白英彩
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 进程代数 标记转移系统 动态树
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 网络与通信
• 页码范围: 84-85,95
• 页数: 3页
• 分类号: TP3
• 字数: 2790字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2006.05.034

摘要

本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白英彩	上海交通大学计算机科学与工程系	185	1721	20.0	33.0
2	张连华	上海交通大学计算机科学与工程系	37	217	8.0	13.0
3	张冠华	上海交通大学计算机科学与工程系	9	16	2.0	4.0