摘要
以特定的观察为生成元构造了互模拟quantaleQ_B，而将进程作为此quantale上的模的组成成分，由此给出了互模拟的三个完备性准则，回答了AbrasmkyS与VickersS．提出的公开问题（1993），完备了他们利用quantale统一处理进程语义的方法．
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.
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
1999年第2期313-320,共8页
Acta Mathematica Sinica：Chinese Series
基金
国家自然科学基金
