>CSP I have a tangential question, in case anybody here has the answer. Have there been any attempts to prove (either formally or informally) that CSP either:

>CSP I have a tangential question, in case anybody here has the answer. Have there been any attempts to prove (either formally or informally) that CSP either: - Can model any computation? - Is suitable for modelling business processes? I've heard both of these claims quite often, but haven't been able to find any primary source on the matter.