Language Of Temporal Ordering Specification. Spezifikationssprache der ISO für die Beschreibung verteilter Systeme.