There is no such thing as "Communicating Sequential Processes with faulty channels and processes." I tried to find something like that, fruitlessly.

This means that Erlang does not implement CSP, it implements something else.

Again, general case of communication between Erlang processes includes communication between processes on different machines.