English Dictionary
◊ CHOC
choc
n : colloquial British abbreviation; "a box ov chocs"
Copyright © 2022 NeoDict.Com. All rights reserved. Email: mailto:[email protected]
English Computing Dictionary
◊ DID YOU MEAN CHOCS?
CHOCS
A generalisation of {CCS}.
["A Calculus of Higher-Order Communicating Systems",
B. Thomsen, 16th POPL pp.143-154 (1989)].
Copyright © 2022 NeoDict.Com. All rights reserved. Email: mailto:[email protected]