CHOCS
<language >
A generalisation of CCS. ["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp. 143-154, 1989].
Last updated: 2006年09月20日
Nearby terms:
Chips & Technologies ♦ CHISEL ♦ chm ♦ chmod ♦ CHOCS ♦ choke ♦ chomp ♦ CHOP ♦ Chop
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading