GB20438.7 技术和措施概述 时间排序规范语言(LOTOS
描述:时间排序规范语言(LOTOS),是以带有来自相关代数学CSP和电路计算(CIRCAI.)附加特征的CCS为基础的。它通过结合基于抽象数据型语言ACT ONE从而克服了CCS在处理数据结构和值表示式方面的羽点，然而在描述抽象数据类型时可使用LOTOS的过程
描述:时间排序规范语言(LOTOS),是以带有来自相关代数学CSP和电路计算(CIRCAI.)附加特征的CCS为基础的。它通过结合基于抽象数据型语言ACT ONE从而克服了CCS在处理数据结构和值表示式方面的羽点，然而在描述抽象数据类型时可使用LOTOS的过程