CHOCS


Also found in: Dictionary, Thesaurus, Acronyms.

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 ?
Selon le Fonds, ce plan d'aide doit permettre d'accompagner le pays dans sa transition politique et "si besoin est" de faire face "aux chocs exogenes que represente la situation internationale".
The pounds 10 boxes, available from the IJF website, contain such delights as McCoy's Milk Chocolate Flake Truffles, Hayley's Caramelized Milk Pralines, Choc's Whisky Ganache Truffles, Tom's Dark Chocolate Champagne Truffles, Sam's Strawberry Champagne Truffles and Frankie's Milk Chocolate Pralines.
The chain also has a fresh chocs counter where you can choose your own pick and mix of fresh, chilled, handmade candies.
And if you tell them you buy your local paper, you could be the next Reader of THEWEEK and walk away with a box of chocs.
So to make sure Cupid doesn't misfire his arrow, we've tested the must-have posh chocs and pink fizz to help you choose the ideal combo to woo - and wow - that special person on Wednesday.
Socks and Chocs was handed the Queen's Award for Voluntary Service (QAVS) following a ceremony at The Guildhall, Worcester.
After battling Mongolian warriors, he slips inside a palatial yurt-style tent where he places a box of chocs on a table - along with his famous signature calling card.
Le souci avec les chocs psychologiques, c'est que, comme tous les medicaments dont on abuse, ca finit par perdre son effet therapeutique.
Chocs Away, on Newport Road, Middlesbrough, relocated from Stockton last year.
UMS, grab a latte and that ox of chocs this Mother's ay and check out the Twittter account of Man Who Has It All (amanwhohasitall).
Notebook 41 WHERE TO BUY: see p62 BEST FOR BIG APPETITES MORRISONS, PS15 Three courses, plus you don't even have to choose between chips or greens: A starter to share A main to share Two sides A pud to share A bottle of wine or prosecco, or box of chocs Top picks: All the booze choices are worth PS10, so whatever you pick, you're getting a great saving (up to PS11.50, but at least PS8).
It's chocs away for luxury confectionery and with these yummies, I'm really spoiling you..