CHOCS




A generalisation of CCS.

["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp.143



< Previous Terms Terms Containing CHOCS Next Terms >
chip set
Chips & Technologies
CHISEL
chm
chmod
choke
chomp
CHOP
Chop
Chorus