Википедия
LOTOS — стандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем . LOTOS состоит из двух взаимодополняющих языков: язык описания абстрактных типов данных ACT ONE и язык описания поведения в виде алгебры процессов .
Хотя LOTOS оказался широко применимым, Международная организация по стандартизации занялась разработкой усовершенствованной версии — E-LOTOS (ISO/IEC 15437:2001).