Explore relationships

Language of Temporal Ordering Specification

In computer science Language of Temporal Ordering Specification (LOTOS) is a formalspecification language based on temporal ordering of events.

Use + to expand a branch. Click a topic name to open its summary.