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