Specifying Distributed Systems with TLA+ (London, UK) #1 Post by pvillega » Tue, Jul 30, 2019, 11:25 AM UTC Specifying Distributed Systems with TLA+ (London, UK)eventbrite.com