Language Of Temporal Ordering Specification

E1971556 UNEXPLORED

Language Of Temporal Ordering Specification is a formal specification language used in computer science to describe and verify the behavior of concurrent and distributed systems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Language Of Temporal Ordering Specification canonical	2

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

LOTOS → fullName → Language Of Temporal Ordering Specification ⓘ

LOTOS → acronymFor → Language Of Temporal Ordering Specification ⓘ