Its researching ways, system of deducibility have their specialties.
其研究方法、框架体系的建构都有独到之处。
2
In this paper, the derivation of process algebraic expressions for no-interference and non-deducibility property, and the composibility of those expressions are discussed.