Blog post: "Exploring TLA+ with two-phase commit"

[Chris Newcombe <chris.n...@xxxxxxxxx>]

Here's a blog-post from an engineer who has recently started using TLA+

   http://brooker.co.za/blog/2013/01/20/two-phase.html

Disclosure: Marc is a colleague at Amazon (we're not in the same team).  He has been using TLA+ at Amazon, but the above public blog-post is about his personal experiments with TLA+, not about his work at Amazon.

cheers,

Chris