Dining philosophers

[compilerbitch]

(from the paper I'm currently working on. Look at the Wikipedia article if you don't already know about the problem)

In other news, it seems that I can taste sugar again. No wasabi peas for me for a while. :-)

Comments

[compilerbitch.livejournal.com]

I'm certainly not saying anything new about it. :-)

It seems to be an expected rite-of-passage that any new model checker should include a dining philosophers sample. So I did, but couldn't stop myself doing the ubiquitous silly drawing. :-)

[mageboltrat.livejournal.com]

nor could I :)