Alloy and an Adventure with Database Concurrency

Alloy is awesome to model with but the results can be kind of hard to interpret. Luckily it has a great user group which responds to emails quickly with advice. Cheers!