TLA+ specification of the consistent prefix guaranteemuratbuffalo.blogspot.com2 pointsngaut8 years ago