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

In addition suitable contents:
[ = ] [ al ] [ am ] [ ar ] [ arc ] [ at ] [ B ] [ C ] [ ca ] [ Calc ] [ cat ] [ CCS ] [ ch ] [ cu ] [ de ] [ du ] [ er ] [ era ] [ fi ] [ file ] [ ge ] [ gen ] [ gh ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ lc ] [ Lex ] [ li ] [ lu ] [ mm ] [ mo ] [ mod ] [ module ] [ ms ] [ mu ] [ na ] [ ne ] [ ng ] [ ni ] [ O ] [ om ] [ ph ] [ POP ] [ query ] [ rc ] [ re ] [ S ] [ sa ] [ se ] [ st ] [ T ] [ th ] [ us ]