LOTOS

Et formelt beskrivelsessprog, baseret på de matematisk orienterede beskrivelsessprog CSP (C.A.R. Hoares Communicating Sequential Processes) og CCS (Robin Milners Calculus of Communicating Systems). LOTOS er udviklet bl.a. inden for ISO (ISO 8807) og er beregnet på formel beskrivelse af og bevisførelse for parallelle programmer. Sproget indeholder parallelle processer og en enkel mekanisme til interproces kommunikation. LOTOS har sætninger og datatyper, som specificeres under brug af den matematiske specifikationsmetode kaldet ACT ONE.

Af andre standardiserede formelle beskrivelsessprog kan nævnes Estelle og SDL.