| 1. | Uniformity of bisimulation equivalences of chi processes
进程互模拟等价的一致性 |
| 2. | Quantales and process semantics of bisimulation
与互模拟的进程语义 |
| 3. | Variant of safe ambient calculus and its contextual bisimulation
一种改进的安全环境演算及其行为等价关系研究 |
| 4. | Bisimulation equivalence is considered as one of the fundamental notions of behavioural equivalence , and one of the important properties of bisimulation is its modal logic characterization
互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。 |
| 5. | However , because - bisimulation is not always an equivalence relation , such characterization in the usual style of hml does not always exist for - bisimulation associated with an arbitrary metric
但由于不为超度量时-互模拟一般不为等价关系,所以无法得到一个具有hml经典形式的逻辑特征。 |
| 6. | The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case . ( 2 ) we introduce a new modal operator
( 2 )引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的-互模拟的模态逻辑特征。 |
| 7. | Pim bases on the proof systems for the late and early bisimulation congruences and the open bisim - ulation congruences . we implemented our version of the unique fixpoint induction to deal with recursions
然后，以lin的关于迟早互模拟的证明系统和li的关于开互模拟的证明系统为理论基础，我们实现了-演算的第一个交互式验证工具- pim 。 |
| 8. | For describing the similarity of two processes , - bisimulation is introduced , its properties are associated with a metric and the modal logic characterization of - bisimulation when is an ultra - metric is given
为了描述进程间的近似等价,最近文献中提出了-互模拟的概念,并将其性质与度量联系在一起,给出了为超度量时-互模拟的模态逻辑特征。 |
| 9. | Based on it a new and more nature result about the modal logical characterization of - bisimulation is given . ( 3 ) we study the properties of the system distributed by ccs _ , introduce a permissible error function , establish ccs ~ and give some properties of ccs ~
( 3 )讨论ccs _所描述的系统的特征,引入允许差异程度的概念,给出新的进程代数ccs ~ ,并初步讨论ccs ~的一些性质。 |
| 10. | Since composition does not satisfy substitutivity with respect to - bisimulation , ccs is established and some properties of - bisimulation in ccs _ are introduced . this paper pays attention to ccs _ and an open problem appeared in literature concerning the modal logical characterization of - bisimulation in nomal case
由于在复合下-互模拟不能保持同余性,文献中引入了ccs _ ,并初步讨论了-互模拟在ccs _中一些有用的性质。 |
