theory A process algebra in which channel names can act

both as transmission medium and as transmitted data. Its

basic atomic actions are individual point to point

communications which are nondeterministically selected and

globally sequentialised.