Roscoe's The Theory and Practice of Concurrency describes this newer version of CSP.
Roscoe の The Theory and Practice of Concurrency ではこの新たなCSPが解説されている。