Language Of Temporal Ordering Specification

Language Of Temporal Ordering Specification (LOTOS) est un langage de spécification formel basé sur l'ordre temporel des événements. LOTOS est utilisé pour la spécification des protocoles dans les standards ISO OSI.