Matches in DBpedia 2016-04 for { ?s ?p "Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for protocol specification in ISO OSI standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Language_Of_Temporal_Ordering_Specification comment "Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for protocol specification in ISO OSI standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989.".
- Q1805432 comment "Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for protocol specification in ISO OSI standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989.".