Formally Understanding Concurrencyhttp://blogs.msdn.com/cdiggins/archive/2006/12/11/formally-understanding-concurrency.aspxA 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-calculusenCommunityServer 2.1 SP1 (Build: 61025.2)Interesting Finds: December 11, 2006http://blogs.msdn.com/cdiggins/archive/2006/12/11/formally-understanding-concurrency.aspx#1264344Tue, 12 Dec 2006 08:17:26 GMT91d46819-8472-40ad-a661-2c78acb4018c:1264344Jason Haley