| Quantale与互模拟的进程语义 |
| |
| 引用本文： | 李永明,李志慧.Quantale与互模拟的进程语义[J].数学学报,1999,42(2):313-320. |
| |
| 作者姓名： | 李永明 李志慧 |
| |
| 作者单位： | 1. 西北工业大学自控系,西安,710072
2. 陕西师范大学数学系,西安,710062 |
| |
| 摘 要： | 以特定的观察为生成元构造了互模拟quantaleQ_B，而将进程作为此quantale上的模的组成成分，由此给出了互模拟的三个完备性准则，回答了AbrasmkyS与VickersS．提出的公开问题（1993），完备了他们利用quantale统一处理进程语义的方法．
|
| 关 键 词： | Quantale 互模拟 Locale 拓扑系统 |
| 修稿时间： | :1997-04-0 |
Quantales and Process Semantics of Bisimulation |
| |
| Li Yongming,Li Zhihui.Quantales and Process Semantics of Bisimulation[J].Acta Mathematica Sinica,1999,42(2):313-320. |
| |
| Authors: | Li Yongming Li Zhihui |
| |
| Institution: | Li Yongming;(Department of Automatical Control, Northwestern Polytechnical University, Xi 'an 710072, P.R. China)Li Zhihui;(Department of Mathematics, Shaanxi Normal University, Xi 'an 710062, P.R. China) |
| |
| Abstract: | The bisimulation quantale QB is constructed by taking certain observationsas its generators, the modules over QB are constructed by formalizing process actions astheir constitutions, general completness criteria about process semantics of bisimulationare stated. One 'tantalizing' open problem about the quantale semantics of bisimulationposed by Abramsky S. and Vickers S. is answered, the uniform algebraic frameworkfor the studying of various notations of observing,testing process and the epuivalencethey induced is completed. |
| |
| Keywords: | Quantale Bisimulation Locale Topological system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|
