CSP (process calculus)

GPTKB entity