ISO 8807:1989 信息处理系统 - 开放系统互连 - LOTOS - 一种基于观察行为时序排序的形式化描述技术 Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour 标准号：ISO 8807:1989 发布日期：1989-02-09 ISO8807:1989是LOTOS（时序排序规范语言）的国际标准，其适用范围包括定义LOTOS语言的语法和语义，用于描述分布式系统和并发系统的功能行为，适用于通信协议、软件系统及其他需要形式化行为规范的领域。
信息处理系统 - 开放系统互连 - LOTOS - 一种基于观察行为时序排序的形式化描述技术 (ISO 8807:1989)