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].
(2006-09-20)
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