LOTOS

A specification language based on temporal ordering. Compare Estelle, SDL[1].

The Formal Description Technique Lotos: Results of the ESPRIT/SEDOS Project, Peter H. J. van Eijk et al eds, North-Holland, 1989.

ISO 8807 (1990).