并发计算的元模型：Ⅳ.公理化

在ｃｈｉ进程间互模拟格的基础上，利用Ｌ－互模拟的开刻划，给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关系的公理系统，由强互模拟等价的公理系统与３条ｔａｕ规则构成，在此基础上，分别加入一条输出规则和／或其对偶形式，即得其他３个公理系统。