title: Is Communicating Sequential Processes ever used in large multi threaded C++ programs?
body: <p>I'm currently writing a large multi threaded C++ program (> 50K LOC).</p>
  
  <p>As such I've been motivated to read up alot on various techniques for handling multi-threaded code. One theory I've found to be quite cool is:</p>
  
  <p><a href="http://en.wikipedia.org/wiki/Communicating_sequential_processes" rel="noreferrer">http://en.wikipedia.org/wiki/Communicating_sequential_processes</a></p>
  
  <p>And it's invented by a slightly famous guy, who's made other non-trivial contributions to concurrent programming.</p>
  
  <p>However, is CSP used in practice? Can anyone point to any large application written in a CSP style?</p>
  
  <p>Thanks!</p>