English Dictionary
◊ CHOCK
chock
n : a block of wood used to prevent the sliding or rolling of a
heavy object [syn: {wedge}]
adv : as completely as possible; "it was chock-a-block full" [syn:
{chock-a-block}]
v 1: secure with chocks
2: support on chocks, as of boats, for example
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)].