[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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


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.