Quantale与互模拟的进程语义
Quantales and Process Semantics of Bisimulation作者机构：西北工业大学自控系西安710072 陕西师范大学数学系西安710062
出 版 物：《数学学报（中文版）》 (Acta Mathematica Sinica：Chinese Series)
年 卷 期：1999年第42卷第2期
页 面：313-320页
核心收录：
学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金：国家自然科学基金
主 题：Quantale 互模拟 拓扑系统 进程语义 布尔代数
摘 要：以特定的观察为生成元构造了互模拟quantaleQ_B，而将进程作为此quantale上的模的组成成分，由此给出了互模拟的三个完备性准则，回答了AbrasmkyS与VickersS．提出的公开问题（1993），完备了他们利用quantale统一处理进程语义的方法．
维普期刊数据库
同方期刊数据库