Language:
Free Online Dictionary|3Dict

chocs

Source : Free On-Line Dictionary of Computing

CHOCS
     
        A generalisation of {CCS}.
     
        ["A Calculus of Higher-Order Communicating Systems",
        B. Thomsen, 16th POPL pp.143-154 (1989)].
Sort by alphabet : 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