From Daniel Jackson's book on Alloy [1], here are a few of the major examples they provide: * Leader election in a ring * Hotel room locking (this one is real

From Daniel Jackson's book on Alloy [1], here are a few of the major examples they provide: * Leader election in a ring * Hotel room locking (this one is really cool) * Media asset library management * Memory abstractions [1] http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=software%20abstractions%20daniel%20jackson&pg=PA171#v=onepage&q&f=false http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=sof...