The semantics and implementation of machine-readable CSP