browse words by letter
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
more about chocs
chocs |
1 definition found From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]: CHOCS A generalisation of {CCS}. ["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp.143-154 (1989)].
more about chocs