语言选择:
免费网上英汉字典|3Dict

language of temporal ordering specification

资料来源 : Free On-Line Dictionary of Computing

Language Of Temporal Ordering Specification
     
         (LOTOS) A formal {specification language} based on
        temporal ordering used for {protocol} specfication in {ISO}
        {OSI} {standard}s.  It is published as ISO 8807 in 1990 and
        describes the order in which events occur.
     
        ["The Formal Description Technique LOTOS", P.H.J. van Eijk et
        al eds, N-H 1989].
     
        (1995-03-18)
依字母排序 : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z