Semantics of Constructions（I）—The Traditional Approach

It is well known that impredicative type systems do not have set theoretical semantics.This paper takes a look at semantics of inductive types in impredicative type systems.A generalized inductive type is interpreted as an omega set generated by effectivizing a certain rule set .The result provedes a semantic justification of inductive types in the calculus of constructions.     

Testing Congruence for Mobile Processes

Testing equivalence on πprocesses has been studied in literature.The equivalence is not closed under the iuput prefix operator and is therefore not a congruence relation.This note takes a look at testing congruence on fipite π processes.A complete equational system is given for the congruence relation.     

用进程代数描述COM接口调用

用π演算模型来表现COM接口调用，在服务器是进程内或进程外组件的情况下，统一对COM接口调用中的重要部件(如客户、代理管理器、接口代理、存根管理器、接口存根、组件对象等)，用π演算进程给出了形式化的刻画，从而从总体上描述了COM接口调用的一系列流程．并通过此模型，清晰地表现出COM接口调用的进程透明特性，也进一步体现了演算对于描述进程通信及并行性的独特优势。     

多态X—演算

The paper proposes polyadic χ-calculus.The language is stronger than χ-calculus in communication.It can exchange several information once time.In the paper we define the syntax and semantics structure of polyadic χ-calculus,and study the hisimulation relations of it.     

非对称x^≠-演算的互模拟格

非对称x^≠-演算是一种移动计算模型．通过研究该演算的互模拟格，能够增强理解非对称性和不等名算子对移动进程代数理论的影响．在给出非对称x^≠-演算的语法和转移语义系统的基础上，定义了该演算的L-互模拟关系．研究表明非对称x^≠-演算的63个L-互模拟关系重叠为12个不同的互模拟关系，而且这12个互模拟关系构成了一个关于集包含的互模拟格．最后证明了barbed互模拟和开互模拟分别与该互模拟格的顶元和底元互模拟关系相重合．     

Semantics of Constructions（Ⅱ） —The Initial Algebraic Approach

Inductive types can be formulated by incorporating the idea of initial T-algebra.The interpretation of an inductive type of this kind boils down to finding out the initial T-algebra defined by the inductive type.In this paper the issue in the semantic domain of omega sets is examined.Based on the semantic results a new class of inductive types,that of local inductive types,in propsed.     

χ-演算与π-演算的语义比较研究

文章通过对χ-演算与π-演算的进程中语法结构、操作语义、代数语义的比较,阐明了χ-演算具有比π-演算更简洁的语法结构、更明确的操作语义、更直观的代数语义、更良好的代数性质、更强大的表达能力.并且给出了一个由π-演算到χ-演算的翻译.