posted 10 years ago
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.