1. Proofs of their mutual equivalences are given. 并且证明了它们的等价性。
2. In the last part of this thesis, we will characterize behavioral equivalences by combinatorial games. 本文的最后一部分将使用组合游戏来刻画行为等价关系。
3. The main contributions are as follows. (1) Introduces and establishes equivalences among several classes of hybrid systems. 论文的主要工作包括以下的几部分内容：(1)混杂系统的几种模型。
4. The most fundamental difference between JClouds and a lot of alternatives is that we spend a lot of time on equivalences of metadata. JClouds与其他产品之间最根本的差别在于我们在元数据的等值问题上花费了大量的时间。
5. A theorem on natural equivalences between a right exact additive functor F which preserves sums and some tensor functor ?B over functor categories is given. 给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理。
