Exploring TLA+ with two-phase commit (2013)brooker.co.za3 points·drdrey··0 commentsOpen articleSaveView on HN