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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
It is home to Sicily's oldest choc shop, established 150 years ago, the Antica Dolceria Bonajuto.
Buttermilk Choc Orange Free From Easter Egg - PS6 This egg has been lovingly made in Cornwall for orange chocolate lovers and is decorated with an orange and white chocolate alternative.
The recall follows another notice, issued last month, where Lidl admitted it mislabelled Mister Choc Choco & Caramel Bar six-packs.
#chocprom2018 #chocprom" read a post on CHOC Children.
Choc grew up in her grandmother's house in West Baltimore's Gilmor Homes community.
Hernandez said Choc Nut, a local brand of chocolate-peanut candy, was one of Robredo's favorite chocolates.
Douglas Williams, Chief Executive Officer of Williams Data Management presented the check to Allie Reynolds, Senior Manager, who represented the CHOC Children's Foundation at the check presentation ceremony on June 17, 2015.
L'autre match programme ce samedi constitue egalement un choc mais pour les equipe du classement.
The initial order placed is for over 36,000 Rocky Road (Road Rocking Choc Choc Block) and Peanut Heaven (Nutty Crunchy Caramel Munchie) wrapped Broderick's bars, which will be stocked in selected retail outlets throughout Switzerland.