Language Of Temporal Ordering Specification


Language Of Temporal Ordering Specification

(language)(LOTOS) A formal specification language based ontemporal ordering used for protocol specfication in ISOOSI standards. It is published as ISO 8807 in 1990 anddescribes the order in which events occur.

["The Formal Description Technique LOTOS", P.H.J. van Eijk etal eds, N-H 1989].