Language Of Temporal Ordering Specification

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.

单词	Language Of Temporal Ordering Specification
释义	Language Of Temporal Ordering Specification 英语百科 Language Of Temporal Ordering Specification 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.
随便看	R.S.A.的意思 R. S. A.的意思 RSA的意思 RSA algorithm的意思 RSAC的意思 RSA encryption的意思 RSA encryption technique的意思 RSAI的意思 rsais的意思 RSALT的意思 R salt R的意思 RSAM的意思 RSAMD的意思 rsamds的意思 R SAN I的意思 RSA number的意思 RSA numbers的意思 rsa scheme的意思 RSA Secure ID的意思 RSA Security的意思 RSA system的意思 RSAT的意思 RSA, the的意思 R. saxatilis的意思 RSB的意思