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

Try this search on Wikipedia, OneLook, Google

Nearby terms: CHISEL « chm « chmod « CHOCS » choke » chomp » CHOP


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.