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

calculus of communicating systems

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

Calculus of Communicating Systems
     
        (CCS) A mathematical model (a formal language) for describing
        processes, mostly used in the study of {parallelism}.  A CCS
        program, written in {behaviour expressions syntax} denotes a
        process behaviour.  Programs can be compared using the notion
        of {observational equivalence}.
     
        ["A Calculus of Communicating Systems", LNCS 92, Springer
        1980].
     
        ["Communication and Concurrency", R. Milner, P-H 1989].
     
        (1994-11-29)
依字母排序 : 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