Quantale与互模拟的进程语义

被引：22

作者：

李永明

李志慧

机构：

[1] 西北工业大学自控系!西安，,陕西师范大学数学系!西安，

来源：

关键词：

Quantale; 互模拟; Locale; 拓扑系统;

D O I：

暂无

中图分类号：

O153.1 [偏序集合与格论]; O189.11 [拓扑空间（空间拓扑）];

学科分类号：

摘要：

以特定的观察为生成元构造了互模拟quantaleQB，而将进程作为此quantale上的模的组成成分，由此给出了互模拟的三个完备性准则，回答了AbrasmkyS与VickersS．提出的公开问题（1993），完备了他们利用quantale统一处理进程语义的方法．

引用

页码：313 / 320

页数：8