CHOCS

(redirected from choc)
Also found in: Dictionary, Thesaurus, Acronyms, Wikipedia.
Related to choc: Chocolate chip cookies

CHOCS

(language)
A generalisation of CCS.

["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp. 143-154, 1989].
References in periodicals archive ?
Hernandez said Choc Nut, a local brand of chocolate-peanut candy, was one of Robredo's favorite chocolates.
8220;We are excited and honored to be working with CHOC Children's in order to help raise more awareness for pediatric blood cancers around the world,” states Paul D.
Il est encore sous le choc de la surprise et de la brutalite de cet enlevement mais en meme temps lucide et pret a se battre", a indique Me Altit, qui avait rencontre jeudi son client au centre de detention de la CPI a La Haye et devait le revoir vendredi apres-midi.
The loss of Thornton represents a rare setback for Roberts, but the agent was philosophical yesterday, saying: "It was a decision Choc felt he had to make, but we had 1,000 winners together so I couldn't do any more.
Lindt Lindor Crystal tin This beautiful tin contains the milk choc variety but I think the makers have missed a trick.
Publisher of women's fiction Choc Lit announced on Tuesday that it has offered a publishing deal to debut novelist Christine Stovell for her book Turning The Tide.
In a tribute to the late, great baseball legend Warren Spahn--who played with the Braves at Milwaukee County Stadium from 1953 to 1964--Spahnie 363, LLC and its Oklahoma-based Choc Beer Company have introduced a new brew featuring the pitcher's nickname and celebrating his 363 career wins.
The promotional 250g packs of Dairy Milk Double Choc, bearing the phrase "win a prize and a half" were put on shelves up to three weeks ago but they failed to feature nut allergy warning labels.
Danone Clover recently launched its fourth annual Caring for Our Children campaign--aimed at raising funds for the CHOC Childhood Cancer Foundation.