Thanks for engaging constructively, and for the detailed responses. This whole area is fascinating to me, especially the history of how we think about concurren

Thanks for engaging constructively, and for the detailed responses. This whole area is fascinating to me, especially the history of how we think about concurrency from Milner ("Calculus of communicating systems") to Hoare (CSP) on down to the present day, and I really enjoy talking about it. If you'd like a less asynchronous (ha!) dialogue, feel free to reach out at my username but with two "b"s instead of one at gmail.