[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.