updated dining-philosophers examples
new bank-account examples