Information processing systems, Open Systems Interconnection, LOTOS, A formal description technique based on the temporal ordering of observational behaviour. Int. Organization for Standardization (1989)

by ISO8807