周期性可定实时并行进程的进化代数分析

• 作者: 梁平
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 进化代数(EA或ASM) 非正式语义 第一顺序逻辑(FOL) 实时并行进程
• 年，卷（期）: 2006,（1）
• 页码范围: 144
• 页数: 1页
• 分类号: TP301

摘要

对应用进化代数（EA），即目前的抽象状态机（Abstract State Machine—ASM），描述可定时实时并行进程进行了研究，进化代数采用第一顺序逻辑（FirSt—Order Logic）定义或解释计算机问题．描述不同的抽象等级并且逻辑地描述计算机算法．因此非常适合描述并行进程复杂的运行过程．并逻辑地精确推导进程调度。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁平	西南民族大学计算机科学学院	4	5	2.0	2.0