Anyone familiar with Concurrency: State Models and Java Programs, 2nd Edition from Wiley? It just came up available on Books 24x7 at work. The authors use an algebra to describe state machines and a tool to analyze for thread problems, eg race & deadlock. You can get the tool from the "supplements" link on the website. I've worked a few single thread examples so far but haven't gotten to any parallel ones.
A good question is never answered. It is not a bolt to be tightened into place but a seed to be planted and to bear more seed toward the hope of greening the landscape of the idea. John Ciardi