A colleague of mine is interested in the formal basis of concurrent programming, so I decided to gather several resources and post them here. I should start by saying much that much of the research in concurrent programming is based on the theory of pi...