异步非对称Chi演算的互模拟格
点击次数：
第一作者：林祝微
发表时间：2008-01-01
发表刊物：科技信息（科学·教研）
所属单位：数理与信息工程学院
文献类型：期刊
期号：第14期
页面范围：405-409
ISSN号：1001-9960
关键字：进程代数；异步非对称Chi演算；互模拟格；互模拟
摘要：异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统。本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格
是否译文：否
上一条：用π-演算描述网络考试系统
下一条：非对称带不等算子的χ≠-演算