Computer Dictionary/CHOCS

From En.18dao.net
Jump to: navigation, search

A generalisation of CCS.

["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp. 143-154, 1989].


Related Columns: ASCII, Dream Dictionary, Idiom Dictionary

Discussion about "Computer Dictionary/CHOCS":

None Discussion Now.

Add Discussion