Wolfgang Reisig The Decent Philosophers: An Exercise in Concurrent Behaviour. 273-281 2007 80 Fundam. Inform. 1-3 http://iospress.metapress.com/content/d81067649u602724/ db/journals/fuin/fuin80.html#Reisig07