Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


You are here: irt.org | FOLDOC | CHOCS

<language> A generalisation of CCS.

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


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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb