TERM

Language of Temporal Ordering Specification

A language (ISO 8807-1990) for formal specification of computer network protocols; describes the order in which events occur.

Updated

Jan 06, 2026

Also known as

LOTOS

Senses

(N)

A language (ISO 8807 1990) for formal specification of computer network protocols; describes the order in which events occur.

A language (ISO 8807-1990) for formal specification of computer network protocols; describes the order in which events occur.

Bibliography